- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo: OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. TestCom/FATES 2009: 229-234 |
| 2008 | ||
| 1 | | Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo: Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. SEFM 2008: 181-190 |
| 1 | Ana Cristina Vieira de Melo | [1] [2] |
| 2 | Paulo R. F. Nunes | [2] |
| 3 | Kleber S. Xavier | [1] |