Model-Based Testing with Spec#.

Published in: ICFEM (2004)

Keyphrases

model based testing
test cases
software development
benchmark suite
software design
security policies
software testing
testing process
sequence diagrams
test data
neural network
test set
machine learning
learning algorithm
information systems
data model