From c0b18618f469db92ff8b1649399c4b9c40d0e74b Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 9 Dec 2010 23:26:44 +0000 Subject: Added a webpage on KLEE-related publications. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121429 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/Publications.html | 121 ++++++++++++++++++++++++++++++++++++++++++++++++++ www/menu.html.incl | 1 + 2 files changed, 122 insertions(+) create mode 100644 www/Publications.html (limited to 'www') diff --git a/www/Publications.html b/www/Publications.html new file mode 100644 index 00000000..9eea4149 --- /dev/null +++ b/www/Publications.html @@ -0,0 +1,121 @@ + + + + + + KLEE - Publications + + + + + +
+ +

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. + +
  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. + +
  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. + +
  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. + +
  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 +

    +
    6. + + +
+
+ + diff --git a/www/menu.html.incl b/www/menu.html.incl index 7e73fb16..abb26a91 100644 --- a/www/menu.html.incl +++ b/www/menu.html.incl @@ -9,6 +9,7 @@ Get Involved Documentation Tutorials + Publications
-- cgit 1.4.1