“Invariant-based Automatic Testing of Modern Web Applications”, Ali Mesbah, Arie van Deursen, and Danny Roest.
IEEE Transactions on Software Engineering (TSE), 35–53, 2012
[PDF

BibTeX

@article{mesbah:tse12,
  author = {Mesbah, Ali and van Deursen, Arie and Roest, Danny},
  title = {Invariant-based Automatic Testing of Modern Web Applications},
  journal = {IEEE Transactions on Software Engineering (TSE)},
  year = {2012},
  volume = {38},
  number = {1},
  pages = {35--53},
  url = {http://www.ece.ubc.ca/~amesbah/docs/tse11.pdf}
}