Model-Based Software Testing and Verification.

Aditya P. Mathur

Browse the full COMPSAC paper archive.