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: Hanazumi:Simone
Contributed to:
2015
2013
20092008Wrote 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.