A Symbolic Execution Framework for JavaScript

Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song. A Symbolic Execution Framework for JavaScript. In 31st IEEE Symposium on Security and Privacy, S&P 2010, 16-19 May 2010, Berleley/Oakland, California, USA. pages 513-528, IEEE Computer Society, 2010. [doi]

Authors

Prateek Saxena

This author has not been identified. Look up 'Prateek Saxena' in Google

Devdatta Akhawe

This author has not been identified. Look up 'Devdatta Akhawe' in Google

Steve Hanna

This author has not been identified. Look up 'Steve Hanna' in Google

Feng Mao

This author has not been identified. Look up 'Feng Mao' in Google

Stephen McCamant

This author has not been identified. Look up 'Stephen McCamant' in Google

Dawn Song

This author has not been identified. Look up 'Dawn Song' in Google