Automated Specification-based Testing of Interactive Components with AsmL.

Ana C. R. Paiva, Joo Pascoal Faria, Raul Moreira Vidal

Browse the full QUATIC paper archive.