Symbolic Execution

Kudzu (S&P 2010)

Paper title: A Symbolic Execution Framework for JavaScript

Authors: Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song

Jalangi (ESEC/FSE 2013)

Paper title: Jalangi: a selective record-replay and dynamic analysis framework for JavaScript

Authors: Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, Simon Gibbs

SymJS (ESEC/FSE 2014)

Paper title: SymJS: Automatic Symbolic Testing of JavaScript Web Applications

Authors: Guodong Li, Esben Andreasen, Indradeep Ghosh

Cosette (PPDP 2018)

Paper title: Symbolic Execution for JavaScript

Authors: José Fragoso Santos, Petar Maksimović, Théotime Grohens, Julian Dolby, Philippa Gardner

Explode.js (PLDI 2025)

Paper title: Automated Exploit Generation for Node.js Packages

Authors: Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos