BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Xavier:Kleber_S=

Contributed to:

SAC 20082008
SEFM 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.