As you may noticed that Spec Explorer is actually available for VS2008 Professional edition , but VS2008 professional edition don’t include VSTS (And it is great that VS2010 Beta2 professional edition already include VSTS). Then if you installed Spec...

My first blog post was saved for this exciting moment. Spec Explorer is a tool that can be used to model software behavior in C#, analyze that behavior by graphical visualization, model checking; and generate test code from models automatically. Please...