jCUTE swMATH ID: 26692 Software Authors: Sen, Koushik Description: The Java Concolic Unit Testing Engine (jCUTE) automatically generates unit tests for Java programs. Concolic execution combines randomized concrete execution with symbolic execution and automatic constraint solving. Symbolic execution allows jCUTE to discern inputs that lead down different execution paths; randomized concrete execution helps it overcome limitations of the constraint solver, like the inability to analyze system calls or solve general systems of non-linear integer equations. Through this combination, jCUTE is able to generate test cases that execute many different execution paths in real Java programs. jCUTE supports multi-threaded programs. It can discover race conditions and deadlocks through systematic schedule exploration. Homepage: http://osl.cs.illinois.edu/software/jcute/ Source Code: https://github.com/osl/jcute Related Software: CUTE; DART; KLEE; Pex; z3; Java PathFinder; BLAST; STP; Jalangi; SMT-LIB; CBMC; LLVM; ExpoSE; SLAM; CIL; JPF-SE; CPAchecker; Boogie; YOGI; SpecExplorer Cited in: 9 Documents all top 5 Cited by 24 Authors 2 Kuliamin, Victor V. 1 Barnat, Jiří 1 Bjørner, Nikolaj S. 1 Chaki, Sagar 1 Chernov, E. S. 1 Forrest, Stephanie 1 Godefroid, Patrice 1 Heljanko, Keijo 1 Kapur, Deepak 1 Lauko, Henrich 1 Mesnard, Fred 1 Nguyen, Thanhvu H. 1 Payet, Étienne 1 Ponomarenko, A. V. 1 Ročkai, Petr 1 Roy, Pritam 1 Rubanov, V. V. 1 Saarikivi, Olli 1 Sen, Koushik 1 Tillmann, Nikolai 1 Vidal, Germán 1 Voronkov, Andrei 1 Weimer, Westley 1 Zybin, R. S. Cited in 4 Serials 2 Programming and Computer Software 1 Formal Methods in System Design 1 Theory and Practice of Logic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 9 Computer science (68-XX) Citations by Year