Vieira, M., and D. J. Richardson,
"Object-Oriented Specification-Based Testing Using UML Statechart Diagrams",
First Workshop on Automated Program Analysis, Testing, and Verification held in conjunction with the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 101-105, June, 2000.