ExpoSE

MaRDI QIDQ42237swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=3092295

Source code repository https://github.com/ExpoSEJS/ExpoSE

Cited in

(9)

• Constraint programming for dynamic symbolic execution of JavaScript
• Algorithm selection for dynamic symbolic execution: a preliminary study
• Z3-str
• StrSolve
• WAPTEC
• Jalangi
• SymJS
• JSFlow
• Dashed strings for string constraint solving

This page was built for software: ExpoSE