A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
javascript
unit-testing
symbolic-execution
programming-languages
program-analysis
software-testing
bug-fixing
-
Updated
Aug 8, 2020 - JavaScript