1. Brat, G., Havelund, K., Park, S., Visser, W.: Model checking programs. In: IEEE International Conference on Automated Software Engineering, ASE 2000 (2000)
2. Cadar, C., Dunbar, D., Engler, D.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proc. of the Eighth Symposium on Operating Systems Design and Implementation (OSDI 2008), pp. 209–224 (December 2008)
3. Lecture Notes in Computer Science;C. Cadar,2005
4. Clarke, E., Kroening, D.: Hardware verification using ANSI-C programs as a reference. In: Proc. of the Asia and South Pacific Design Automation Conference, ASP-DAC 2003 (2003)
5. Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Păsăreanu, C.S.: Bandera: Extracting finite-state models from Java source code. In: Proc. of the 22nd International Conference on Software Engineering (ICSE 2000), pp. 439–448 (June 2000)