Sciweavers

EUROCAST
2009
Springer
132views Hardware» more  EUROCAST 2009»
13 years 11 months ago
Separation of Transitions, Actions, and Exceptions in Model-Based Testing
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
Cyrille Artho