Test case generation by means of UML sequence diagrams and labeled transition systems.

Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto, Patrcia D. L. Machado

Browse the full SMC paper archive.