Funder
Chungnam National University
Reference24 articles.
1. LLVM: a compilation framework for lifelong program analysis & transformation;Lattner,2004
2. Babic D, Hu AJ. Calysto: scalable and precise extended static checking. In: Proceedings of the 30th international conference on software engineering. 2008, p. 211–20. http://dx.doi.org/10.1145/1368088.1368118.
3. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs;Cadar,2008
4. LLBMC: Bounded model checking of C and C++ programs using a compiler IR;Merz,2012
5. Pagai: A path sensitive static analyser;Henry;Electron Notes Theor Comput Sci,2012