M. Bourque-Fortin

Generating unit test sequences for aspect-oriented programs: towards a formal approach using UML state diagrams

M. Badri, L. Badri, M. Bourque-Fortin, 2005, 2005 International Conference on Information and Communication Technology.