A Refinement Tool for Z. - Angela F. Freitas; Carla Nascimento; Ana Cavalcanti 001 (ICFEM, 2003)

Automatic Translation from Circus to Java. - Angela F. Freitas; Ana Cavalcanti 001 (FM, 2006)

An investigation into the use of AI planning for handsets network test automation. - Clauirton de Siebra; Angela F. Freitas; Paulo Costa 002; Raquel X. Freitas; Fabio Q. B. da Silva; Andre Luís de Medeiros Santos (Artificial Intelligence and Applications, 2007)

An architecture for handsets network test automation. - Clauirton de Siebra; Fabio Q. B. da Silva; Andre Luís de Medeiros Santos; Angela F. Freitas; Kleber R. Carneiro; Paulo Costa 002; Amanda Araujo; Karine Santos; Talita Spiller; Fernando Buononato (PM2HW2N, 2007)

Ensuring Quality in the Development of an Automated Testbed via Concepts of Extreme Programming. - Clauirton A. Siebra; Angela F. Freitas; Kleber R. Carneiro; Paulo H. R. Costa; Raquel X. Freitas; Fabio Q. B. da Silva; André L. M. Santos (SBQS, 2007)