diff options
Diffstat (limited to 'www')
| -rw-r--r-- | www/Publications.html | 36 |
1 files changed, 35 insertions, 1 deletions
diff --git a/www/Publications.html b/www/Publications.html index 11ac484a..aa2cde0f 100644 --- a/www/Publications.html +++ b/www/Publications.html @@ -18,7 +18,7 @@ <p>Below you can find a list of papers that use or extend KLEE. Papers are listed in chronological order. <br/>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).</p> + listed here (email klee-dev-owner or c.cadar AT imperial.ac.uk).</p> <ol start="0"> <li> @@ -314,6 +314,25 @@ International Conference on Software Engineering (ICSE 2012) <br> June 2-9, 2012, Zurich, Switzerland + <br> + <b>ZESTI is available <a href="http://srg.doc.ic.ac.uk/projects/zesti/">here</a>.</b> + <br><br> + </li> + + <li> + <a href="http://www.cc.gatech.edu/~orso/papers/jin.orso.ICSE12.pdf"> + <em> + BugRedux: Reproducing Field Failures for In-House Debugging + </em> + </a> + <br> + Wei Jin, Alessandro Orso + <br> + International Conference on Software Engineering (ICSE 2012) + <br> + June 2-9, 2012, Zurich, Switzerland + <br> + <b>BugRedux is available <a href="http://www.cc.gatech.edu/~wjin6/mypage/bugredux.html">here</a>.</b> <br><br> </li> @@ -347,6 +366,21 @@ <br><br> </li> + <li> + <a href="http://earlbarr.com/publications/ariadne.pdf"> + <em> + Automatic Detection of Floating-Point Exceptions + </em> + </a> + <br> + Peter C. Rigby, Earl T. Barr, Christian Bird, Premkumar Devanbu, Daniel M. German + <br> + Principles of Programming Languages (POPL) + <br> + January 23-25, 2013, Rome, Italy + <br><br> + </li> + </ol> </div> </body> |