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

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. - Kleber S. Xavier; Simone Hanazumi; Ana Cristina Vieira de Melo (SEFM, 2008)