We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK


93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Proteum/AJ: a mutation system for AspectJ programs
View graph of relations

« Back

Proteum/AJ: a mutation system for AspectJ programs

Research output: Contribution in Book/Report/ProceedingsConference contribution


  • Fabiano Cutigi Ferrari
  • Elisa Yumi Nakagawa
  • José Carlos Maldonado
  • Awais Rashid
Publication date2011
Host publicationAOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development companion
Place of publicationNew York
Number of pages2
ISBN (Print)978-1-4503-0606-5
Original languageEnglish


Aspect-Oriented Programming (AOP) has introduced a complementary set of mechanisms which enhance the modularisation of crosscutting concerns. However, such mechanisms represent new potential sources of faults that may be systematically tackled with mutation testing. In this demonstration we present a tool, named Proteum/AJ, which automates the mutation testing of AspectJ programs. Proteum/AJ supports the main steps of this testing approach and realises a set of requirements for mutation-based testing tools like mutant handling, test case handling and mutant analysis. Our experience in using the tool provided us with evidence on the feasibility of performing mutation testing of AO programs. In this demonstration we are going to share some of this experience with the audience.