Travelled to:1 × Brazil
1 × South Africa
Collaborated with:A.C.V.d.Melo P.R.F.Nunes S.Hanazumi
Talks about:program (2) verif (2) test (2) toward (1) formal (1) toler (1) space (1) reduc (1) fault (1) java (1)
Person: Kleber S. Xavier
DBLP: Xavier:Kleber_S=
Contributed to:
2008
2008Wrote 2 papers:
- SAC-2008-MeloNX #java #source code #testing #towards #verification
- Towards verification and testing of Java programs (ACVdM, PRFN, KSX), pp. 730–734.
- SEFM-2008-XavierHM #fault tolerance #source code #using #verification
- Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs (KSX, SH, ACVdM), pp. 181–190.