| Title | Object-Oriented Specification-Based Testing Using UML Statechart Diagrams |
| Publication Type | Conference Proceedings |
| Year of Publication | 2000 |
| Authors | Vieira, M., and D. J. Richardson |
| Conference Name | First Workshop on Automated Program Analysis, Testing, and Verification held in conjunction with the 22nd International Conference on Software Engineering (ICSE 2000) |
| Pagination | 101-105 |
| Date Published | June |
| Conference Location | Limerick, Ireland |