Publications in Scientific Journals:
M. Lewis, D. Kroening, G. Weissenbacher:
"Under-approximating loops in C programs for fast counterexample detection";
Formal Methods in System Design,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Created from the Publication Database of the Vienna University of Technology.