Received for: Invariant-Based Automatic Testing of Ajax User Interfaces.
Mesbah, A. & van Deursen, A. 2009 Proceedings of the 31st International Conference on Software Engineering (ICSE'09), Research Papers. Fickas, S., Atlee, J. M. & Inverardi, P. (eds.). Los Alamitos: IEEE/CS, p. 210-220 11 p.