Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS '13
Houston, Texas, USA
Association for Computing Machinery
New York, NY, USA
Pages 329-342
2013
Note(s):
KLEE verifier,
symbolic execution Papers:
ramos:sec:2015
Papers related to Verifying systems rules using rule-directed symbolic execution
Under-constrained symbolic execution: Correctness checking for real code [ramos:sec:2015]
The opinions expressed are my own views and not my employer’s.