Daniel Sinnig Ferhat Khendek Patrice Chalin A Formal Model for Generating Integrated Functional and User Interface Test Cases. 255-264 2010 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2010.56 conf/icst/2010 db/conf/icst/icst2010.html#SinnigKC10