Software
Software
CONSIT - An Automated Conditoned Program Slicer
ConSuS - A Lightweight Program Conditioner
Espresso - A Java Slicer Generator
JAbstract - A Java ABstract Syntax Tree Generator
Lava - A Mutation Testing System
Software