Spec#

Spec# is an experimental programming system that seeks to push the envelope in specification and verification technology. The system includes the .NET object-oriented programming language Spec#, which is a superset of the C# language, adding type features like non-null types and contract features like pre- and postconditions and object invariants. …

Pex – Automated Exploratory Testing for .NET

Pex is a white-box test generation tool for .NET. Starting from a hand-written parameterized unit test, Pex analyzes the program-under-test to determine relevant test inputs fully automatically. To this end, Pex executes the program multiple times with different inputs while monitoring the taken execution paths. Pex uses a constraint solver …

Microsoft Visual Studio Team System – Sam Guckenheimer Interview

Sam Guckenheimer has been the chief customer advocate for VSTS, responsible for its end-to-end external design. He describes his book, Software Engineering with Microsoft Visual Studio Team System, as a framework for thinking about software projects in a way that can be directly tooled by VSTS. It presents essential theory …