From c657b4cd41b00d4c4683c08a25a63ff4f3f11450 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 30 Mar 2012 15:38:07 +0000 Subject: Four new KLEE-related publications. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@153745 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/Publications.html | 70 +++++++++++++++++++++++++++++++++++++++++++++++---- 1 file changed, 65 insertions(+), 5 deletions(-) (limited to 'www/Publications.html') diff --git a/www/Publications.html b/www/Publications.html index d081cbae..710ea170 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -17,11 +17,9 @@ 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. + paper listed here, please send email to klee-dev-owner AT keeda.stanford.edu. -
    +
    1. @@ -231,7 +229,69 @@
      ACM Symposium on Operating Systems Principles (SOSP 2011)
      - 23-26 October, 2011, Cascais, Portugal + October 23-26, 2011, Cascais, Portugal +

      +
      2. + +
    2. + + + KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs + + +
      + Guodong Li, Indradeep Ghosh and Sreeranga Rajan +
      + International Conference on Computer Aided Verification (CAV 2011) +
      + July 14-20, 2011, Cliff Lodge, Snowbird, UT, USA +

      +
      3. + +
    3. + + + Symbolic Testing of OpenCL Code + + +
      + Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly +
      + Haifa Verification Conference (HVC 2011) +
      + December 6-8, 2011, Haifa, Israel +

      +
      4. + +
    4. + + + GKLEE: Concolic Verification and Test Generation for GPUs + + +
      + Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, and Sreeranga P. Rajan +
      + ACM Symposium on Principles and Practice of Parallel Programming (PPoPP 2012) +
      + February 25-29, 2012, New Orleans, LA, USA +
      + GKLEE is available here. +

      +
      5. + +
    5. + + + make test-zesti: A Symbolic Execution Solution for Improving Regression Testing + + +
      + Paul Dan Marinescu, Cristian Cadar +
      + International Conference on Software Engineering (ICSE 2012) +
      + June 2-9, 2012, Zurich, Switzerland

      6. -- cgit 1.4.1