Sciweavers

EUROCAST
2009
Springer
132views Hardware» more  EUROCAST 2009»
14 years 1 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