SymJS: automatic symbolic testing of JavaScript web applications
SymJS: automatic symbolic testing of JavaScript web applications
Guodong Li,Esben Andreasen,Indradeep Ghosh
2014 · DOI: 10.1145/2635868.2635913
106 Citations
TLDR
SymJS's innovations include a novel symbolic virtual machine for JavaScript Web, symbolic+dynamic feedback directed event space exploration, and dynamic taint analysis for enhancing event sequence construction.