Jalangi
From MaRDI portal
Software:37001
swMATH25259MaRDI QIDQ37001FDOQ37001
Author name not available (Why is that?)
Source code repository: https://github.com/Samsung/jalangi2
Cited In (5)
- 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
This page was built for software: Jalangi
