Verifying systems rules using rule-directed symbolic execution

Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

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

  • Under-constrained symbolic execution: Correctness checking for real code [ramos:sec:2015]