Alessandro Marchetto Paolo Tonella Filippo Ricca State-Based Testing of Ajax Web Applications. 121-130 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.22 conf/icst/2008 db/conf/icst/icst2008.html#MarchettoTR08