Jalangi: a selective record-replay and dynamic analysis framework for JavaScript
A framework for automated testing of javascript web applications