swMATH26692MaRDI QIDQ38421FDOQ38421
Author name not available (Why is that?)
Official website: http://osl.cs.illinois.edu/software/jcute/
Source code repository: https://github.com/osl/jcute
Cited In (41)
- Constraint programming for dynamic symbolic execution of JavaScript
- Automation of broad sanity test generation
- Algorithm selection for dynamic symbolic execution: a preliminary study
- Symbolic computation via program transformation
- Path Feasibility Analysis for String-Manipulating Programs
- Combining model checking and testing
- Concolic testing in CLP
- KLEE
- UniTESK
- ADL
- DART
- PathCrawler
- Pex
- ConTest
- NModel
- SpecExplorer
- JPF-SE
- MODIST
- YOGI
- KLOVER
- Snugglebug
- LCTD
- LCTD: test-guided proofs for C programs on LLVM
- Looper
- CATG
- Jalangi
- Symbiotic 2
- Angelix
- XSat
- SymDIVINE
- LCT
- ExpoSE
- SymJS
- AGEDIS
- STP
- Geno
- JaCoCo
- Con2colic
- Integration of verification methods for program systems
- Machine learning steered symbolic execution framework for complex software code
- Connecting program synthesis and reachability: automatic program repair using test-input generation
This page was built for software: jCUTE
