Valdivino Alexandre de Santiago Junior

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

Ana Maria Ambrosio, Eliane Martins, Maria de Fátima Mattiello-Francisco, 2007, LADC.

A Practical Approach for Automated Test Case Generation using Statecharts

Nandamudi Lankalapalli Vijaykumar, Eliane Martins, Maria de Fátima Mattiello-Francisco, 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).