Transformation of UML interaction diagrams into contract specifications for object-oriented testing.

Huo Yan Chen, Chuang Li, T. H. Tse

Browse the full SMC paper archive.