Jalangi

MaRDI QIDQ37001swMATHFDO

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

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

Cited in

(19)

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

This page was built for software: Jalangi