The following pages link to jCUTE (Q38421):
Displaying 11 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Symbolic computation via program transformation (Q1623144) (← links)
- Machine learning steered symbolic execution framework for complex software code (Q2050084) (← links)
- Algorithm selection for dynamic symbolic execution: a preliminary study (Q2119113) (← links)
- Constraint programming for dynamic symbolic execution of JavaScript (Q2327235) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation (Q3303900) (← links)
- Path Feasibility Analysis for String-Manipulating Programs (Q3617764) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
