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 × South Africa
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:
A.C.V.d.Melo P.R.F.Nunes K.S.Xavier
Talks about:
test (3) properti (2) program (2) generat (2) toler (2) fault (2) ocongrax (1) testabl (1) pattern (1) automat (1)

Person: Simone Hanazumi

DBLP DBLP: Hanazumi:Simone

Contributed to:

SEFM 20152015
ISSTA 20132013
TestCom/FATES 20092009
SEFM 20082008

Wrote 4 papers:

SEFM-2015-HanazumiM #on the #testing
On the Testability of Properties Patterns (SH, ACVdM), pp. 148–155.
ISSTA-2013-HanazumiM #generative #java #source code
Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
TestCom-FATES-2009-NunesHM #automation #data flow #fault tolerance #generative #named #testing
OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.
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.