Kleber S. Xavier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier: Towards verification and testing of Java programs. SAC 2008: 730-734

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

	2008
2		Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier: Towards verification and testing of Java programs. SAC 2008: 730-734
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

Coauthor Index