×

KLEE

swMATH ID: 4894
Software Authors: Cristian Cadar, Daniel Dunbar, Dawson Engler
Description: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. Symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to thoroughly check all 89 stand-alone programs in the GNU COREUTILS utility suite, which form the core user-level environment installed on millions of Unix systems, and arguably are the single most heavily tested set of open-source programs in existence. KLEE-generated tests achieve high line coverage — on average over 90
Homepage: http://llvm.org/pubs/2008-12-OSDI-KLEE.html
Keywords: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Related Software: z3; DART; CUTE; CPAchecker; LLVM; STP; CBMC; SMT-LIB; jCUTE; Pex; MiniSat; BLAST; Java PathFinder; SMACK; SatAbs; UFO; VCC; SLAM; Why3; ISP
Cited in: 37 Publications
all top 5

Cited by 111 Authors

4 Siegel, Stephen F.
4 Zirkel, Timothy K.
3 Søndergaard, Harald
3 Stuckey, Peter James
2 Amadini, Roberto
2 Arusoaie, Andrei
2 Gange, Graeme
2 Kröning, Daniel
2 Rusu, Vlad
2 Schachte, Peter
2 Tautschnig, Michael
2 Trtík, Marek
1 Andrlon, Mak
1 Aschermann, Cornelius
1 Babić, Domagoj
1 Balint, Adrian
1 Bansal, Sorav
1 Baranowski, Marek
1 Barnat, Jiří
1 Bayless, Sam
1 Berzish, Murphy
1 Bienmüller, Tom
1 Bonsangue, Marcello Maria
1 Botinčan, Matko
1 Brain, Martin
1 Brockschmidt, Marc
1 Chattopadhyay, Sudipta
1 Chong, Nathan
1 Cook, Byron
1 de Boer, Frank S.
1 Dolby, Julian
1 Donaldson, Alastair F.
1 Dwyer, Matthew B.
1 Forrest, Stephanie
1 Frohn, Florian
1 Fuhs, Carsten
1 Gallois-Wong, Diane
1 Ganesh, Vijay
1 Garg, Pranav
1 Garvin, Brady J.
1 Garzella, Jack J.
1 Giesl, Jürgen
1 Godefroid, Patrice
1 Groce, Alex
1 Gupta, Shubhani
1 Hajdu, Ákos
1 Havelund, Klaus
1 He, Shaobo
1 Heljanko, Keijo
1 Hensel, Jera
1 Holzer, Andreas
1 Holzmann, Gerard J.
1 Hoos, Holger H.
1 Hriţcu, Cătălin
1 Hutter, Frank
1 Ish-Shalom, Oren
1 Itzhaky, Shachar
1 Joshi, Rajeev
1 Kapur, Deepak
1 Ketema, Jeroen
1 Khazem, Kareem
1 Knoop, Jens
1 Köpf, Boris
1 Kovács, Laura Ildikó
1 Křena, Bohuslav
1 Lampropoulos, Leonidas
1 Lauko, Henrich
1 Leyton-Brown, Kevin
1 Lindauer, Marius
1 Löding, Christof
1 Lucanu, Dorel
1 Madhusudan, Parthasarathy
1 Mahajan, Anmol
1 Manevich, Roman
1 Martins, Ruben
1 Meseguer Guaita, José
1 Micskei, Zoltán
1 Muñoz, César A.
1 Neider, Daniel
1 Nguyen, Thanhvu H.
1 Obdržálek, Jan
1 Pierce, Benjamin C.
1 Rakamarić, Zvonimir
1 Rinetzky, Noam
1 Rocha, Camilo
1 Ročkai, Petr
1 Roychoudhury, Abhik
1 Rybalchenko, Andrey
1 Saarikivi, Olli
1 Saxena, Aseem
1 Schallhart, Christian
1 Schneider-Kamp, Peter
1 Schrammel, Peter
1 Sen, Koushik
1 Sherman, Elena
1 Strejček, Jan
1 Ströder, Thomas
1 Subramanian, Sanu
1 Tasiran, Serdar
1 Teige, Tino
...and 11 more Authors

Citations by Year