Proteum/AJv2: A Mutation-based Testing Tool for Java and AspectJ Programs

The Proteum/AJv2 tool supports the mutation testing of object-oriented (OO) Java programs and aspect-oriented (AO) AspectJ programs. The underlying research that is automated by Proteum/AJv2 includes the investigation of fault taxonomies for OO and AO software, as well as the definition of mutation operators that model instances of fault types characterised in the taxonomies. Establishment of fault taxonomies for object-oriented (OO) and aspect-oriented (AO) software; design of mutation operators for OO and AO programs; automation of the mutation testing process; creation of a historical database of test results.