Automated Consistency and Completeness Checking of Testing Models for Interactive Systems.

Amit M. Paradkar, Tim Klinger

Browse the full COMPSAC paper archive.