Kleber S. Xavier

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. SEFM (2008)
Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier
Towards verification and testing of Java programs. SAC (2008)