A symbolic execution framework for javascript (2010)

by Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song
Venue:In Proceedings of the 31st IEEE Symposium on Security and Privacy