Wei Xiong

According to our database, Wei Xiong authored at least 2 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Verification and validation of JavaScript.

Wei Xiong

PhD thesis, 2013

2011

Towards an Axiomatic Verification System for JavaScript.

Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011