Symbolic Execution
==================

Kudzu (S&P 2010)
^^^^^^^^^^^^^^^^^^

*Paper title:* `A Symbolic Execution Framework for JavaScript <https://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-26.pdf>`__

*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 <https://dl.acm.org/doi/pdf/10.1145/2635868.2635913>`__

*Authors:* Guodong Li, Esben Andreasen, Indradeep Ghosh


Cosette (PPDP 2018)
^^^^^^^^^^^^^^^^^^^^^

*Paper title:* `Symbolic Execution for JavaScript <https://dl.acm.org/doi/pdf/10.1145/3236950.3236956>`__

*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 <https://dl.acm.org/doi/10.1145/3729304>`__

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