A model-based testing technique for component-based real-time embedded systems.

Jing Guan Jeff Offutt

Published in: ICST Workshops (2015)

Keyphrases

real time embedded systems
model based testing
test cases
software development
software design
security policies
testing process
software testing
sequence diagrams
test data
databases
software engineering
decision trees
petri net
test sequences
access control
case study