Keep your bugs contained. A platform for studying historical software bugs.
Distributed, language-independent, compositional search-based program repair
Lightweight, extensible, language-independent mutation testing.
