STAMP Project Overview

The mutation testing tools allow online services to be modified and released everyday, and even several times a day. This agility is made possible through high degrees of automation at all steps of design, construction and deployment. View the video to discover how STAMP pushes automation to DevOps one step further.

DSpot Amplification on SAT4J Core

In this video, we are applying PIT and DSpot testing tools to the SAT4J Core, an OW2 project offering simple and efficient open source library of SAT solvers in Java. More than 1000 new assertions could be managed with 50 amplified tests created and 264 additional mutants were detected.