This is your work, valued
An instrumentation-based dynamic symbolic execution engine for JavaScript, developed at Royal Holloway, University of London