Publications

Export 2 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Jaco Geldenhuys  [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.