Test Case Generation by EFSM Extracted from UML Sequence Diagrams.

Mauricio Rocha, Adenilso Simo, Thiago Sousa, Marcelo Batista

Browse the full SEKE paper archive.