Model-based testing of a highly programmable system.

Siddhartha R. Dalal, Ashish Jain, Nachimuthu Karunanithi, J. M. Leaton, Christopher M. Lott

Browse the full ISSRE paper archive.