1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
"http://www.w3.org/TR/html4/strict.dtd">
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>KLEE - Publications</title>
<link type="text/css" rel="stylesheet" href="menu.css">
<link type="text/css" rel="stylesheet" href="content.css">
</head>
<body>
<!--#include virtual="menu.html.incl"-->
<div id="content">
<!--*********************************************************************-->
<h1>KLEE-related publications:</h1>
<!--*********************************************************************-->
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
<a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>
mailing list.</a>
<ol>
<li>
<a href="http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf">
<em>
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for
Complex Systems Programs
</em>
</a>
<br>
Cristian Cadar, Daniel Dunbar, Dawson Engler
<br>
USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)
<br>
December 8-10, 2008, San Diego, CA, USA
<br><br>
</li>
<li>
<a href="http://ds.informatik.rwth-aachen.de/publications/2010/pdfs/2010-04-ipsn-sasnauskas-KleeNet.pdf">
<em>
KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment
</em>
</a>
<br>
Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai,
Carsten Weisez, Stefan Kowalewskiz, Klaus Wehrle
<br>
ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010)
<br>
April 12-16, 2010, Stockholm, Sweden
<br><br>
</li>
<li>
<a href="http://dslab.epfl.ch/pubs/esd.pdf">
<em>
Execution Synthesis: A Technique for Automated Software Debugging
</em>
</a>
<br>
Cristian Zamfir, George Candea
<br>
ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2010)
<br>
April 13-16, 2010, Paris, France
<br><br>
</li>
<li>
<a href="http://dslab.epfl.ch/pubs/revnic.pdf">
<em>
Reverse Engineering of Binary Device Drivers with RevNIC
</em>
</a>
<br>
Vitaly Chipounov, George Candea
<br>
ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys 2010)
<br>
April 13-16, 2010, Paris, France
<br><br>
</li>
<li>
<a href="http://dslab.epfl.ch/pubs/ddt.pdf">
<em>
Testing Closed-Source Binary Device Drivers with DDT
</em>
</a>
<br>
Volodymyr Kuznetsov, Vitaly Chipounov, George Candea
<br>
USENIX Annual Technical Conference (USENIX ATX 2010)
<br>
June 22-25, 2010, Boston, MA, USA
<br><br>
</li>
<!--
<li>
<a href="coming soon">
<em>
S2E: A Platform for In Vivo Multi-Path Analysis of Software Systems
</em>
</a>
<br>
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
<br>
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011)
<br>
March 5-11, 2011, Newport Beach, CA
<br><br>
</li>
-->
</ol>
</div>
</body>
</html>
|
