Difference between revisions of "D45 Model-based testing"
From Event-B
Jump to navigationJump to searchimported>Tommy m (New page: = Overview = {{TODO}} An overview of the work done about Model-based testing. = Motivations = {{TODO}} To be completed. = Choices / Decisions = {{TODO}} To be completed. = Available Docume...) |
imported>Tommy m |
||
Line 9: | Line 9: | ||
= Status = | = Status = | ||
{{TODO}} To be completed. | {{TODO}} To be completed. | ||
+ | |||
+ | [[Category:D45 Deliverable]] |
Revision as of 17:02, 7 November 2011
Overview
TODO An overview of the work done about Model-based testing.
Motivations
TODO To be completed.
Choices / Decisions
TODO To be completed.
Available Documentation
TODO To be completed.
Status
TODO To be completed.