D45 Model-based testing

From Event-B
Revision as of 13:19, 7 November 2011 by imported>Tommy (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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=D45_Model-based_testing&oldid=3053’