jCUTE

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.


References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Amadini, Roberto; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Algorithm selection for dynamic symbolic execution: a preliminary study (2021)
  2. Bu, Lei; Liang, Yongjuan; Xie, Zhunyi; Qian, Hong; Hu, Yi-Qi; Yu, Yang; Chen, Xin; Li, Xuandong: Machine learning steered symbolic execution framework for complex software code (2021)
  3. Mesnard, Fred; Payet, Étienne; Vidal, Germán: Concolic testing in CLP (2020)
  4. Amadini, Roberto; Andrlon, Mak; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.: Constraint programming for dynamic symbolic execution of JavaScript (2019)
  5. Godefroid, Patrice; Sen, Koushik: Combining model checking and testing (2018)
  6. Lauko, Henrich; Ročkai, Petr; Barnat, Jiří: Symbolic computation via program transformation (2018)
  7. Nguyen, Thanhvu; Weimer, Westley; Kapur, Deepak; Forrest, Stephanie: Connecting program synthesis and reachability: automatic program repair using test-input generation (2017)
  8. Saarikivi, Olli; Heljanko, Keijo: LCTD: test-guided proofs for C programs on LLVM (2016)
  9. Kim, Moonzoo; Kim, Yunho; Choi, Yunja: Concolic testing of the multi-sector Read operation for flash storage platform software (2012) ioport
  10. Bjørner, Nikolaj; Tillmann, Nikolai; Voronkov, Andrei: Path feasibility analysis for string-manipulating programs (2009)
  11. Kuliamin, V. V.: Integration of verification methods for program systems (2009)
  12. Zybin, R. S.; Kuliamin, V. V.; Ponomarenko, A. V.; Rubanov, V. V.; Chernov, E. S.: Automation of broad sanity test generation (2008)
  13. Sen, Koushik; Agha, Gul: CUTE and jCUTE: concolic unit testing and explicit path model-checking tools (2006) ioport