Jalangi
From MaRDI portal
Software:37001
No author found.
Source code repository: https://github.com/Samsung/jalangi2
Related Items (5)
An SMT solver for regular expressions and linear arithmetic over string length ⋮ Combining Model Checking and Testing ⋮ Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers ⋮ Constraint programming for dynamic symbolic execution of JavaScript ⋮ Algorithm selection for dynamic symbolic execution: a preliminary study
This page was built for software: Jalangi
