Pieter W. M. Koopman Rinus Plasmeijer Peter Achten Model-Based Testing of Thin-Client Web Applications. 115-132 2006 conf/fates/2006 FATES/RV http://dx.doi.org/10.1007/11940197_8 db/conf/fates/fates2006.html#KoopmanPA06