From c7ffcff9f238448e19fafc6ab84d244a18d687f8 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 15 Feb 2013 10:53:45 +0000 Subject: Three more KLEE-related papers. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@175261 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/Publications.html | 52 ++++++++++++++++++++++++++++++++++++++++++++++++--- 1 file changed, 49 insertions(+), 3 deletions(-) (limited to 'www') diff --git a/www/Publications.html b/www/Publications.html index fcc7666c..11ac484a 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -15,9 +15,10 @@

KLEE-related Publications and Systems

- 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 klee-dev-owner AT keeda.stanford.edu. +

Below you can find a list of papers that use or extend KLEE. + Papers are listed in chronological order.
If you have used and + extended KLEE, please share your experience by having your paper + listed here (email klee-dev-owner or or c.cadar AT imperial.ac.uk).

  1. @@ -143,6 +144,21 @@ February 6-9, 2011, San Diego, CA, USA

    2. + +
  2. + + + Howard: A Dynamic Excavator for Reverse Engineering Data Structures + + +
    + Asia Slowinska, Traian Stancescu, Herbert Bos +
    + Network and Distributed System Security Symposium (NDSS 2011) +
    + February 6-9, 2011, San Diego, CA, USA +

    +
  3. @@ -301,6 +317,36 @@

    4. +
  4. + + + Efficient State Merging in Symbolic Execution + + +
    + Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea +
    + Programming Language Design and Implementation (PLDI) +
    + June 11-16, 2012, Beijing, China +

    +
    5. + +
  5. + + + High-Coverage Symbolic Patch Testing + + +
    + Paul Dan Marinescu, Cristian Cadar +
    + SPIN Workshop on Model Checking of Software (SPIN 2012) +
    + July 23-24, 2012, Oxford, UK +

    +
    6. +
-- cgit 1.4.1