SpecExplorerClassSession2 | Tags

30 minutes, 44 seconds

nicok Mar 31, 2010 at 11:18 AM

0

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 2/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…

27 minutes, 2 seconds

Spec Explorer Class Session 2 Part 2

nicok Mar 31, 2010 at 11:17 AM

0

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 2/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…

23 minutes, 1 second

Spec Explorer Class Session 2 Part 4

nicok Mar 31, 2010 at 11:17 AM

0

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 2/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…

31 minutes, 44 seconds

Spec Explorer Class Session 2 Part 1

nicok Mar 31, 2010 at 11:10 AM

0

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 2/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…