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
Papers related to Targeted program transformations for symbolic execution
-Overify: Optimizing programs for fast verification [wagner:hotos:2013]
The opinions expressed are my own views and not my employer’s.