ExpoSE Symbolic Execution

https://www.parsed.uk/articles/ExpoSE_Practical_Symbolic_Execution_Of_Standalone_JavaScript [email protected]

London, United Kingdom An instrumentation-based dynamic symbolic execution engine for JavaScript, developed at Royal Holloway, University of London