Invariant-based automatic testing of AJAX user interfaces.

Ali Mesbah, Arie van Deursen

Browse the full ICSE paper archive.