BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
| Title | BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Rosner, N, Geldenhuys, J, Aguirre, N, Visser, W, Frias, MF |
| Journal | {IEEE} Trans. Software Eng. |
| Volume | 41 |
| Pagination | 639–660 |
| URL | http://dx.doi.org/10.1109/TSE.2015.2389225 |
| DOI | 10.1109/TSE.2015.2389225 |
Work Package:
WP5
