Antti Kervinen Mika Maunumaa Tuula Pääkkönen Mika Katara Model-Based Testing Through a GUI. 16-31 2005 conf/fates/2005 FATES http://dx.doi.org/10.1007/11759744_2 db/conf/fates/fates2005.html#KervinenMPK05