D45 Model-based testing: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

20 April 2012

30 March 2012

14 March 2012

29 February 2012

24 February 2012

7 November 2011

  • curprev 17:0217:02, 7 November 2011imported>Tommym 290 bytes +30 No edit summary
  • curprev 13:1913:19, 7 November 2011imported>Tommym 260 bytes +260 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...