Composition of software artifacts modelled using Colored Petri nets
Towards the practical mutation testing of AspectJ programs
Coverage testing of Java programs and components