jCUTE swMATH ID: 26692 Software Authors: Koushik Sen 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; CIL; JPF-SE; SLAM; CPAchecker; Boogie; YOGI; SpecExplorer Cited in: 11 Publications all top 5 Cited by 35 Authors 2 Amadini, Roberto 2 Gange, Graeme 2 Kuliamin, Victor V. 2 Schachte, Peter 2 Søndergaard, Harald 2 Stuckey, Peter James 1 Andrlon, Mak 1 Barnat, Jiří 1 Bjørner, Nikolaj S. 1 Bu, Lei 1 Chernov, E. S. 1 Forrest, Stephanie 1 Godefroid, Patrice 1 Heljanko, Keijo 1 Hu, Yi-Qi 1 Kapur, Deepak 1 Lauko, Henrich 1 Li, Xuandong 1 Liang, Yongjuan 1 Mesnard, Fred 1 Nguyen, Thanhvu H. 1 Payet, Étienne 1 Ponomarenko, A. V. 1 Qian, Hong 1 Ročkai, Petr 1 Rubanov, V. V. 1 Saarikivi, Olli 1 Sen, Koushik 1 Tillmann, Nikolai 1 Vidal, Germán 1 Voronkov, Andrei 1 Weimer, Westley 1 Xie, Zhunyi 1 Yu, Yang 1 Zybin, R. S. Cited in 4 Serials 2 Programming and Computer Software 1 Formal Aspects of Computing 1 Theory and Practice of Logic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 11 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year