MBT plugin: Revision history

6 April 2012

• curprev 06:4506:45, 6 April 2012‎ imported>Alinstef‎ m 9,364 bytes −4‎ →‎Installing

4 April 2012

• curprev 13:1513:15, 4 April 2012‎ imported>Alinstef‎ m 9,368 bytes +204‎ No edit summary

24 February 2012

• curprev 11:3011:30, 24 February 2012‎ imported>Alinstef‎ m 9,164 bytes −176‎ →‎Displaying the generated cover automaton
• curprev 11:2911:29, 24 February 2012‎ imported>Alinstef‎ m 9,340 bytes +209‎ →‎Displaying the generated cover automaton
• curprev 11:2511:25, 24 February 2012‎ imported>Alinstef‎ m 9,131 bytes +3‎ →‎Short theoretical aspects
• curprev 11:2511:25, 24 February 2012‎ imported>Alinstef‎ m 9,128 bytes −5‎ No edit summary

10 July 2011

• curprev 20:3620:36, 10 July 2011‎ imported>Alinstef‎ m 9,133 bytes −1‎ →‎Disclaimer
• curprev 20:3620:36, 10 July 2011‎ imported>Alinstef‎ m 9,134 bytes −42‎ →‎Short theoretical aspects

9 July 2011

• curprev 00:0300:03, 9 July 2011‎ imported>LaurentiuMM‎ 9,176 bytes −2‎ No edit summary

8 July 2011

• curprev 23:5023:50, 8 July 2011‎ imported>LaurentiuMM‎ 9,178 bytes +41‎ No edit summary
• curprev 02:2502:25, 8 July 2011‎ imported>LaurentiuMM‎ 9,137 bytes +1,864‎ No edit summary
• curprev 02:0702:07, 8 July 2011‎ imported>LaurentiuMM‎ 7,273 bytes +1,631‎ No edit summary

7 July 2011

• curprev 18:0418:04, 7 July 2011‎ imported>LaurentiuMM‎ 5,642 bytes +51‎ No edit summary
• curprev 17:4417:44, 7 July 2011‎ imported>LaurentiuMM‎ 5,591 bytes +4,586‎ No edit summary

30 June 2011

• curprev 18:3418:34, 30 June 2011‎ imported>Alinstef‎ 1,005 bytes +1,005‎ New page: {| align="right" | __TOC__ |} MBT (Model-based testing) plugin ... [TODO] ==Installing == The MBT plugin relies on Rodin release 2.0 or newer and ProB plugin 2.2 or newer. The followin...