Travelled to:1 × Brazil
1 × The Netherlands
Collaborated with:A.C.V.d.Melo S.Hanazumi K.S.Xavier
Talks about:test (2) ocongrax (1) program (1) generat (1) automat (1) toward (1) system (1) verif (1) toler (1) fault (1)
Person: Paulo R. F. Nunes
DBLP: Nunes:Paulo_R=_F=
Contributed to:
2009
2008Wrote 2 papers:
- 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.
- SAC-2008-MeloNX #java #source code #testing #towards #verification
- Towards verification and testing of Java programs (ACVdM, PRFN, KSX), pp. 730–734.