1. Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI’08. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI’08.
2. Execution Generated Test Cases: How to Make Systems Code Crash Itself
3. Symbolic execution for software testing
4. Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Cliff Stein . 2001. Introduction to Algorithms ( second ed.). MIT Press/McGraw Hill . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Cliff Stein. 2001. Introduction to Algorithms (second ed.). MIT Press/McGraw Hill.
5. Jason Evans. 2006. A Scalable Concurrent malloc(3) Implementation for FreeBSD. In BSDCan’06. Jason Evans. 2006. A Scalable Concurrent malloc(3) Implementation for FreeBSD. In BSDCan’06.