BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Melo:Ana_Cristina_Vieira_de

Contributed to:

SEFM 20152015
ISSTA 20132013
TestCom/FATES 20092009
SAC 20082008
SEFM 20082008
FASE 20072007
SEFM 20052005
SAC 20032003
SAC 20032004

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

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.