KLEE-related publications:

Below you can find a list of papers that use or extend KLEE. Papers are listed in chronological order. If you would like to have your paper listed here, please send email to the klee-dev mailing list.

1. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
   Cristian Cadar, Daniel Dunbar, Dawson Engler
   USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)
   December 8-10, 2008, San Diego, CA, USA
   
   
2. KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment
   Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weisez, Stefan Kowalewskiz, Klaus Wehrle
   ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010)
   April 12-16, 2010, Stockholm, Sweden
   
   
3. Execution Synthesis: A Technique for Automated Software Debugging
   Cristian Zamfir, George Candea
   ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2010)
   April 13-16, 2010, Paris, France
   
   
4. Reverse Engineering of Binary Device Drivers with RevNIC
   Vitaly Chipounov, George Candea
   ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2010)
   April 13-16, 2010, Paris, France
   
   
5. Testing Closed-Source Binary Device Drivers with DDT
   Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
   USENIX Annual Technical Conference (USENIX ATX 2010)
   June 22-25, 2010, Boston, MA, USA