Advances in Structural Testing of Aspect-Oriented Programs: Aspect Interaction, Ex...
Automatic test data generation to cover exception-dependent paths using symbolic e...
Explicit Representation of Exceptional Flows in Component-based Software Architec...