London, United Kingdom

ExpoSE Symbolic Execution

Intermediate
@ExpoSEJS

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

www.parsed.uk/articles/ExpoSE_Practical_Symbolic_Execution_Of_Standalone_JavaScript
0
Apply