Kleber S. Xavier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2008–2008
Best venue rank
Multiconference
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | SAC | Towards verification and testing of Java programs. | Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier |
| 2008 | SEFM | Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. | Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo |