Model-based testing of a highly programmable system.

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

Published in: ISSRE (1998)

Keyphrases

model based testing
test cases
software development
general purpose
testing process
software testing
real world
artificial intelligence
security policies
sequence diagrams
case study
error rate
test set