Maria de Fátima Mattiello-Francisco

Suggest Changes
Learn More
This paper presents an approach for automated test case generation using a software specification modeled in statecharts. The steps defined in such approach involve: translation of statecharts(More)