Automatic verification of design patterns in Java (2005)

by A Blewitt, A Bundy, I Stark
Venue:In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005