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: Delamaro:M=aacute=rcio_Eduardo
Contributed to:
2015
2014
2014
2013
2013201320122001
2016Wrote 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.
- FSE-2016-KurtzAODKG
- Analyzing the validity of selective mutation with dominator mutants (BK, PA, JO, MED, MK, NG), pp. 571–582.