Ana Silvia Martins do Amaral

According to our database, Ana Silvia Martins do Amaral authored at least 2 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models.

Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2006

A Practical Approach for Automated Test Case Generation using Statecharts.

Valdivino Alexandre de Santiago Jr., Ana Silvia Martins do Amaral, Nandamudi L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006