Travelled to:1 × Brazil
1 × Germany
1 × Portugal
1 × South Africa
1 × Switzerland
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:S.Hanazumi B.M.Moutinho P.R.F.Nunes K.S.Xavier D.P.Pereira P.S.d.Silva W.Mesquita A.Sampaio
Talks about:formal (4) test (4) java (4) framework (3) composit (3) program (3) flow (3) properti (2) generat (2) control (2)
Person: Ana Cristina Vieira de Melo
DBLP: Melo:Ana_Cristina_Vieira_de
Contributed to:
2015
2013
2009
20082008
2007200520032004Wrote 10 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.
- SAC-2008-MeloNX #java #source code #testing #towards #verification
- Towards verification and testing of Java programs (ACVdM, PRFN, KSX), pp. 730–734.
- SAC-2008-PereiraM #architecture #coordination #exception
- A formal architectural model for exception handling coordination (DPP, ACVdM), pp. 114–118.
- 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.
- FASE-2007-SilvaM #formal method
- A Simulation-Oriented Formalization for a Psychological Theory (PSdS, ACVdM), pp. 42–56.
- SEFM-2005-MesquitaSM #composition #framework
- A Strategy for the Formal Composition of Frameworks (WM, AS, ACVdM), pp. 404–413.
- SAC-2003-MeloM #composition #framework #java #on the
- On the Composition of Java Frameworks Control-flows (ACVdM, BMM), pp. 1099–1103.
- SAC-J-2003-MeloM04 #composition #framework #java #on the
- On the composition of Java frameworks control-flows (ACVdM, BMM), pp. 301–307.