Structuring and Verifying Requirement Specifications through Activity Diagrams to Support the Semi-automated Generation of Functional Test Procedures.

Jobson L. Massollar, Rafael Maiani de Mello, Guilherme H. Travassos

Browse the full QUATIC paper archive.