D.: A symbolic execution framework for JavaScript (2010)

by P Saxena, D Akhawe, S Hanna, F Mao, S McCamant, Song
Venue:In: Proceedings of the 31st IEEE Symposium on Security and Privacy (S&P