Kleber S. Xavier

According to our database, Kleber S. Xavier authored at least 2 papers in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.

Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Towards verification and testing of Java programs.

Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008