@article{89231, author = {Leonard Gallagher}, title = {Conformance Testing of Object-Oriented Components Specified by State/Transition Classes}, year = {1999}, month = {1999-05-19}, publisher = {IEEE Transactions on Software Engineering}, language = {en}, }