Speciication-based Testing of Interactive Systems Connrmation Report