jCUTE
From MaRDI portal
Software:38421
No author found.
Source code repository: https://github.com/osl/jcute
Related Items (11)
Symbolic computation via program transformation ⋮ Automation of broad sanity test generation ⋮ Combining Model Checking and Testing ⋮ LCTD: test-guided proofs for C programs on LLVM ⋮ Concolic Testing in CLP ⋮ Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation ⋮ Path Feasibility Analysis for String-Manipulating Programs ⋮ Machine learning steered symbolic execution framework for complex software code ⋮ Integration of verification methods for program systems ⋮ Constraint programming for dynamic symbolic execution of JavaScript ⋮ Algorithm selection for dynamic symbolic execution: a preliminary study
This page was built for software: jCUTE
