TY - JOUR AU - Leonard Gallagher C2 - IEEE Transactions on Software Engineering DA - 1999-05-19 LA - en PB - IEEE Transactions on Software Engineering PY - 1999 TI - Conformance Testing of Object-Oriented Components Specified by State/Transition Classes ER -