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