Publications

Export 2 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Willem Visser  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
N. Rosner, J. Geldenhuys, N. Aguirre, W. Visser, and M. F. Frias, “BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support”, {IEEE} Trans. Software Eng., vol. 41, p. 639–660, 2015.
J. Geldenhuys, N. Aguirre, M. F. Frias, and W. Visser, “Bounded Lazy Initialization”, in NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, 2013.