Targeted program transformations for symbolic execution

Cristian Cadar
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
ESEC/FSE 2015
Bergamo, Italy
Association for Computing Machinery
New York, NY, USA
Pages 906-909
2015
Note(s): symbolic execution, KLEE verifier, verifier performance
Papers: wagner:hotos:2013