This is your work, valued

London, United Kingdom

ExpoSE Symbolic Execution

Intermediate
@ExpoSEJS

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