Jalangi

MaRDI QIDQ37001swMATHFDO

Official website https://github.com/Samsung/jalangi2

Source code repository https://github.com/Samsung/jalangi2

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