A symbolic execution framework for JavaScript. (2010)

by P Saxena, D Akhawe, S Hanna, F Mao, S McCamant, D Song
Venue:In IEEE Symposium on Security and Privacy (S&P),