SpecExplorerClassSession3 | Tags

30 minutes, 6 seconds

nicok Mar 31, 2010 at 11:21 AM

0

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 3/4 - Part 4/4 Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and…

32 minutes, 0 seconds

Spec Explorer Class Session 3 Part 3

nicok Mar 31, 2010 at 11:21 AM

0

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 3/4 - Part 3/4 Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and…

28 minutes, 26 seconds

Spec Explorer Class Session 3 Part 2

nicok Mar 31, 2010 at 11:20 AM

0

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 3/4 - Part 2/4 Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and…

29 minutes, 19 seconds

Spec Explorer Class Session 3 Part 1

nicok Mar 31, 2010 at 11:19 AM

0

(1)

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 3/4 - Part 1/4 Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and…