Cited in
(19)- An SMT solver for regular expressions and linear arithmetic over string length
- Constraint programming for dynamic symbolic execution of JavaScript
- Algorithm selection for dynamic symbolic execution: a preliminary study
- Synthesis of domain specific CNF encoders for bit-vector solvers
- Combining model checking and testing
- CalFuzzer
- ADL
- ConTest
- Proteus
- MODIST
- Snugglebug
- Looper
- CATG
- jCUTE
- ExpoSE
- SymJS
- Z3str2
- JSFlow
- Con2colic
This page was built for software: Jalangi
