This paper presents a simple and efficient engine which produces mutations of source code written in C#. The novelty of this engine is that it produces mutations that do not contradict with the specifications of the program. The latter are described by a set of pre- and post-conditions and invariants. The engine comprises two parts, a static analysis and syntactic verification component and a mutation generation component. Preliminary experiments showed that the proposed engine is more efficient than a simple mutations generator in terms of producing only valid mutations according to the specifications posed, thus saving time and effort during testing activities.

Mockery is a simple yet PHP mock object framework for use in unit testing with PHPUnit, PHPSpec or any other testing framework. Its core goal is to offer a test double framework with a succint API capable of clearly defining all possible object operations and interactions using a human readable Domain Specific Language (DSL). Designed as a drop in alternative to PHPUnit's phpunit-mock-objects library, Mockery is easy to integrate with PHPUnit and can operate alongside phpunit-mock-objects without the World ending.

"Agile testing" is not a completely different testing procedure but a software testing practice, following the principles of the Agile life cycle. How? Its most salient aspect is that it emphasizes testing and close work with the end users or at least with the story owners throughout the project.

Midje is a test framework for Clojure. I created it to support top-down as well as bottom-up testing, to encourage readable tests, to provide a smooth migration path from clojure.test and to support a balance between abstraction and concreteness.

We all understand the value of Unit Testing, but how come so few organisations maintain unit tests for their in-house applications? We can no longer pretend that unit testing is a universal panacea for ensuring less-buggy applications. Instead, we should be prepared to actively justify the use of unit tests, and be more savvy about where in the development cycle the unit test resources should be most effectively used.

rwebspec-webdriver is a ruby gem that allow executable functional specification for web applications in RSpec syntax and Selenium-WebDriver

Simple, powerful acceptance testing for node.js. Construct acceptance tests with BDD semantics in straightforward, sentence-like statements. Execute your tests in the cloud using Selenium 2 on Sauce Labs.

The Code Contracts project at Microsoft Research enables programmers on the .NET platform to author specifications in existing languages such as C# and VisualBasic. To take advantage of these specifications, we provide tools for documentation generation, run-time contract checking, and static contract verication. This talk details the overall approach of the static contract checker and examines where and how we trade-o soundness in order to obtain a practical tool that works on a full-edged object-oriented intermediate language such as the .NET Common Intermediate Language.

This article propose a new process model for what we call "ordered incremental testing", where guidance on test order is provided. In both
of these models, testing is conducted iteratively with very short iteration cycles as a single class is developed.

NCrunch is an automated parallel continuous testing tool for Visual Studio .NET. It intelligently takes responsibility for running automated tests so that you don't have to, and it gives you a huge amount of useful information about your tests (such as code coverage) inline in your IDE while you work.