Towards an Axiomatic Verification System for JavaScript. - Shengchao Qin; Aziem Chawdhary; Wei Xiong 007; Malcolm Munro; Zongyan Qiu; Huibiao Zhu (TASE, 2011)

Verification and validation of JavaScript. - Wei Xiong 007 (2013)