Towards verification and testing of Java programs. - Ana Cristina Vieira de Melo; Paulo R. F. Nunes; Kleber S. Xavier (SAC, 2008)

OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. - Paulo R. F. Nunes; Simone Hanazumi; Ana Cristina Vieira de Melo (TestCom/FATES, 2009)

Testing the Adherence of Enterprise Web Applications to Transactional Patterns. - Paulo R. F. Nunes; Ana Cristina Vieira de Melo (QUATIC, 2012)