http://rev9.blob.core.windows.net/thumbnail/15230069-44bb-4c45-903b-3107a3226ca2.png Effective Model-Based Testing with Spec Explorer classWolfgang Grieskamp and Nico KicillofSession 4/4 - Part 4/4Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. It can be downloaded free of charge. This series of 16 videos is the full recording of the Effective Model-Based Testing class that Wolfgang and Nico gave on the Microsoft campus. Caveat: The quality of the screen captures makes them hard to read. These videos will be replaced with new ones recorded with a better quality in the future. Please, forgive any inconvenience this might cause you. en Sun, 19 May 2013 17:40:53 GMT Sun, 19 May 2013 17:40:53 GMT Rev9 posted by java

]]> http://channel9.msdn.com/Blogs/nicok/Spec-Explorer-Class-Session-4-Part-4#c634211130740000000 Sun, 26 Sep 2010 15:51:14 GMT http://channel9.msdn.com/Blogs/nicok/Spec-Explorer-Class-Session-4-Part-4#c634211130740000000 java