Methodological Issues in Model-Based Testing.

Alexander Pretschner Jan Philipps

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

methodological issues
model based testing
test cases
software development
software design
testing process
security policies
software testing
sequence diagrams
software engineering
test sequences
decision making
case study
information technology
software architecture
test suite