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 × Argentina
1 × Portugal
1 × Spain
1 × The Netherlands
2 × Canada
2 × USA
Collaborated with:
J.Offutt V.Pereira P.Ammann L.Baresi M.Papadakis Y.L.Traon V.H.S.Durelli L.Deng V.H.S.Durelli N.Li R.A.P.Oliveira A.M.Memon V.N.Gil F.L.S.Nunes R.S.Durelli D.S.M.Santibáñez N.Anquetil V.V.d.Camargo V.d.O.Neves P.C.Masiero C.C.T.Mendes D.F.Wolf A.M.R.Vincenzi E.Y.Nakagawa J.C.Maldonado R.A.F.Romero B.Kurtz M.Kurtz N.Gökçe
Talks about:
mutat (5) mutant (3) formal (3) test (3) systemat (2) use (2) uml (2) map (2) experiment (1) equivalent (1)

Person: Márcio Eduardo Delamaro

DBLP DBLP: Delamaro:M=aacute=rcio_Eduardo

Contributed to:

ICEIS v2 20152015
ICST 20142014
SEKE 20142014
SAC 20132013
SCAM 20132013
SEKE 20132013
ICST 20122012
SEKE 20012001
FSE 20162016

Wrote 12 papers:

ICEIS-v2-2015-PereiraBD #formal method #uml
Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using
Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.
ICST-2014-AmmannDO #set
Establishing Theoretical Minimal Sets of Mutants (PA, MED, JO), pp. 21–30.
ICST-2014-DelamaroDDLO #c #evaluation
Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.
ICST-2014-DelamaroOA #design
Designing Deletion Mutation Operators (MED, JO, PA), pp. 11–20.
SEKE-2014-OliveiraMGND #framework #source code #testing
An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SAC-2013-DurelliSADC #mining #overview
A systematic review on mining techniques for crosscutting concerns (RSD, DSMS, NA, MED, VVdC), pp. 1080–1087.
SCAM-2013-PapadakisDT #analysis #fault #mutation testing #named #using
Proteum/FL: A tool for localizing faults using mutation analysis (MP, MED, YLT), pp. 94–99.
SEKE-2013-NevesDMMW #testing
Structural Testing of Autonomous Vehicles (VdON, MED, PCM, CCTM, DFW), pp. 200–205.
ICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.
SEKE-2001-VincenziNMDR #guidelines
Bayesian-Learning Based Guidelines to determine Equivalente Mutants (AMRV, EYN, JCM, MED, RAFR), pp. 180–187.
Analyzing the validity of selective mutation with dominator mutants (BK, PA, JO, MED, MK, NG), pp. 571–582.

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.