A case study in model-based testing of specifications and implementations.

Tim Miller Paul A. Strooper

Published in: Softw. Test. Verification Reliab. (2012)

Keyphrases

model based testing
test cases
software development
software design
case study
data sets
sequence diagrams
security policies
testing process
neural network
high level
test data
software testing
machine learning
learning algorithm
formal specification