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.

Doloto

Doloto is a performance optimization tool for AJAX applications. Doloto works by rewriting the application to load its JavaScript code on demand, thereby reducing the startup time and making the application more responsive.

STM.NET

STM.NET is an experimental .NET Framework that has been modified to enable you to delineate sections of your code to run atomically, isolated from other atomic regions in other threads. You can easily compose multiple components with STM to create scalable multithreaded applications.

Axum

Axum aims to validate a safe and productive parallel programming model for .NET. It’s a language that builds upon the architecture of the web and the principles of isolation, actors, and message-passing to increase application safety, responsiveness, scalability and developer productivity.

Code Contracts

Code Contracts are static library methods used from any .NET program to specify the code’s behavior. Runtime checking and static checking tools are both provided for taking advantage of contracts.

Small Basic

Small Basic is a simple and easy programming language with a friendly environment that provides a cool and fun way of learning programming. From making turtles animations to running a slide show on the desktop, Small Basic makes programming natural and effortless.

Pex – Automated White Box Testing for .NET

Pex (Program EXploration) is an intelligent assistant to the programmer. From a parameterized unit test, it automatically produces a traditional unit test suite with high code coverage. In addition, it suggests to the programmer how to fix the bugs.

CHESS – Finding and Reproducing Heisenbugs inConcurrent Programs

CHESS is a concurrency testing tool for finding and reproducing concurrency Heisenbugs in your code. CHESS can find assertion violations, deadlocks, livelocks, data-races, and memory-model errors. CHESS works both for managed and for unmanaged code.