DevLabs: Code Contracts
Code Contracts Lots of fixes! Our new release has been upgraded to work with Visual Studio 2010 Beta 2. (Of course, it also works with Visual Studio 2008, but this is a great time to download the new beta…
Read more
Cloud Distilled ~ Nithin Mohan
Everywhere, intelligence with cloud computing
Code Contracts Lots of fixes! Our new release has been upgraded to work with Visual Studio 2010 Beta 2. (Of course, it also works with Visual Studio 2008, but this is a great time to download the new beta…
Read more
About Spec Explorer 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 test code from models. Behavior is modeled in two ways: by…
Read more
DevLabs: STM.NET About Software Transactional Memory Software Transactional Memory (STM.NET) is a mechanism for efficient isolation of shared state. The programmer demarcates a region of code as operating within a transaction that is “atomic” and “isolated” from other transacted…
Read more
DevLabs: Doloto About Doloto Doloto is an AJAX application optimization tool, especially useful for large and complex Web 2.0 applications that contain a lot of code, such as Bing Maps, Hotmail, etc. Doloto analyzes AJAX application workloads and automatically…
Read more
Automated White Box Testing for .NET Pex (Program EXploration) produces a traditional unit test suite with high code coverage. A parameterized unit test is simply a method that takes parameters, calls the code under test, and states assertions. Given…
Read more
“Just a word from you, just a word – and I’m there. No matter where “there” is. No matter what you want. No matter what you need. No matter where you’ve been. No matter where you’re headed. No matter when…
Read more