Collaborated with:
J.F.Santos P.Maksimovic J.Dolby P.Gardner
Talks about:
javascript (1) symbol (1) execut (1)
Person: Théotime Grohens
DBLP: Grohens:Th=eacute=otime
Contributed to:
Wrote 1 papers:
- PPDP-2018-SantosMGDG #execution #javascript #symbolic computation
- Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.