Bruno d'Ausbourg Christel Seguin Guy Durrieu Pierre Roché Helping the Automated Validation Process of User Interfaces Systems. 219-228 1998 ICSE db/conf/icse/icse98.html#dAusbourgSDR98