Nico Kicillof
-
Spec Explorer Class Session 4 Part 4Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/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 generating standalone... -
Spec Explorer Class Session 4 Part 3Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/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 generating ... -
Spec Explorer Class Session 4 Part 2Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/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 generating ... -
Spec Explorer Class Session 4 Part 1Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/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 generating ... -
Spec Explorer Class Session 3 Part 4Effective 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 generating ... -
Spec Explorer Class Session 3 Part 3Effective 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 generating ... -
Spec Explorer Class Session 3 Part 2Effective 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 generating ... -
Spec Explorer Class Session 3 Part 1Effective 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 generating ... -
Spec Explorer Class Session 2 Part 3Effective 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 generating ... -
Spec Explorer Class Session 2 Part 2Effective 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 generating ...
Staff
Here is a list of Channel 9 staff members.
SpecExplorer: Model-Based Testing made practicable
Dec 16, 2009 at 1:43 PMThanks Doug. You might want to take a look at the state hiding and grouping feature in the exploration result viewer (click the Manage Views button when you are seeing an exploration, create a new view and use the GroupQuery and HideQuery fields).
SpecExplorer: Model-Based Testing made practicable
Oct 28, 2009 at 11:54 AMWe use MSAGL, which is a fairly powerful engine, and would allow us to change the graph appearance in many ways. What would you suggest? Using rectangles instead of ellipses and diamonds for states? Anything else?