×

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; CUTE; DART; CPAchecker; CBMC; STP; SMT-LIB; jCUTE; LLVM; BLAST; Pex; MiniSat; Coq; Java PathFinder; Isabelle/HOL; VCC; Why3; SMACK; SLAM; Yices
Cited in: 43 Documents
all top 5

Cited by 131 Authors

4 Siegel, Stephen F.
4 Zirkel, Timothy K.
2 Arusoaie, Andrei
2 Rusu, Vlad
2 Trtík, Marek
1 Aschermann, Cornelius
1 Babić, Domagoj
1 Balint, Adrian
1 Bansal, Sorav
1 Baranowski, Marek
1 Barbosa, Haniel
1 Barnat, Jiří
1 Barrett, Clark W.
1 Bauer-Marquart, Fabian
1 Bayless, Sam
1 Berzish, Murphy
1 Bienmüller, Tom
1 Bøgsted Poulsen, Danny
1 Bonsangue, Marcello Maria
1 Botinčan, Matko
1 Brain, Martin
1 Brockschmidt, Marc
1 Chaki, Sagar
1 Chattopadhyay, Sudipta
1 Chong, Nathan
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 Groves, Lindsay J.
1 Gupta, Shubhani
1 Hajdu, Ákos
1 Havelund, Klaus
1 He, Shaobo
1 Heiding, Fredrik
1 Heljanko, Keijo
1 Hensel, Jera
1 Holzer, Andreas
1 Holzmann, Gerard J.
1 Hoos, Holger H.
1 Hriţcu, Cătălin
1 Hughes, John
1 Hutter, Frank
1 Ish-Shalom, Oren
1 Itzhaky, Shachar
1 Joshi, Rajeev
1 Kapur, Deepak
1 Katsikeas, Sotirios
1 Ketema, Jeroen
1 Knoop, Jens
1 Kondrat’ev, Dmitriĭ Aleksandrovich
1 Köpf, Boris
1 Kovács, Laura Ildikó
1 Křena, Bohuslav
1 Kröning, Daniel
1 Kulczynski, Mitja
1 Lagerström, Robert
1 Lampropoulos, Leonidas
1 Lauko, Henrich
1 Leue, Stefan
1 Leyton-Brown, Kevin
1 Lindauer, Marius
1 Löding, Christof
1 Lotz, Kevin
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 Niemetz, Aina
1 Nötzli, Andres
1 Nowotka, Dirk
1 Obdržálek, Jan
1 Pearce, David J.
1 Pierce, Benjamin C.
1 Preiner, Mathias
1 Rakamarić, Zvonimir
1 Reynolds, Andrew
1 Rezk, Tamara
1 Rinetzky, Noam
1 Rival, Xavier
1 Rocha, Camilo
1 Ročkai, Petr
1 Roy, Pritam
...and 31 more Authors

Citations by Year