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 all top 5 Cited in 10 Serials 3 Journal of Automated Reasoning 3 Formal Methods in System Design 3 Journal of Logical and Algebraic Methods in Programming 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Mathematics in Computer Science 1 Artificial Intelligence 1 International Journal of General Systems 1 Real-Time Systems 1 Annals of Mathematics and Artificial Intelligence all top 5 Cited in 6 Fields 37 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year