Recently Microsoft released Reactive Extensions (Rx) at msdn data developer center. After watching Bart de Smet ’s DevCamp 2010 Keynote ( Rx: Curing your asynchronous programming blues ), finally I got some time to try out this library. What is Rx anyway...

Recently a customer asked whether it is possible to combine the power of Spec Explorer and VS2010 UI test features to apply MBT in UI automation. The short answer is yes. And in my opinion, the most challenge part is not how to model system under test...

Last month is quite a busy month (at least the first week is quite busy). Just one week after Visual Studio 2010 RTM was released (check http://www.microsoft.com/visualstudio/en-us/ ), we also released Spec Explorer 2010 (version 3.2) which can work with...

“Object.ReferenceEquals(x,y) returns true if and only if either x and y refer to the same object, or x and y are both null references.” Learnt from Eric Lippert’s blog http://blogs.msdn.com/ericlippert/archive/2009/10/29/i-have-a-fit-but-a-lack-of-focus...

To improve user experience, several small Cord intellisense features are implemented in Spec Explorer 2010 version 3.1 for Visual Studio 2010 Release Candidate . Switch completion If you used to work with Spec Explorer 2010 version 3.0 before, you may...

Spec Explorer team recently released version 3.1 for Visual Studio 2010 Release Candidate on Spec Explorer Devlabs portal . One highlight feature is help integration with Visual Studio 2010. I am going to show you how to use this feature here. First of...

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...