swMATH25259MaRDI QIDQ37001FDOQ37001
Author name not available (Why is that?)
Official website: https://github.com/Samsung/jalangi2
Source code repository: https://github.com/Samsung/jalangi2
Cited In (18)
- Constraint programming for dynamic symbolic execution of JavaScript
- An SMT solver for regular expressions and linear arithmetic over string length
- Algorithm selection for dynamic symbolic execution: a preliminary study
- Synthesis of domain specific CNF encoders for bit-vector solvers
- Combining model checking and testing
- ADL
- ConTest
- Proteus
- MODIST
- Snugglebug
- Looper
- CATG
- jCUTE
- ExpoSE
- SymJS
- Z3str2
- JSFlow
- Con2colic
This page was built for software: Jalangi
