Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song: A Symbolic Execution Framework for JavaScript. IEEE Symposium on Security and Privacy 2010: 513-528