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,
47
(2015),
1;
75
- 92.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10703-015-0228-1
Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung
Created from the Publication Database of the Vienna University of Technology.