Márcio Eduardo Delamaro

Orcid: 0000-0001-7535-5891

According to our database1, Márcio Eduardo Delamaro authored at least 115 papers between 1994 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications.
Softw. Test. Verification Reliab., December, 2023

Test Data Selection Based on Applying Mutation Testing to Decision Tree Models.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

2022
Dynamic Testing Techniques of Non-functional Requirements in Mobile Apps: A Systematic Mapping Study.
ACM Comput. Surv., January, 2022

Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing.
Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

2021
Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study.
Int. J. Softw. Eng. Knowl. Eng., 2021

Software Testing Automation of VR-Based Systems With Haptic Interfaces.
Comput. J., 2021

On Using Decision Tree Coverage Criteria forTesting Machine Learning Models.
Proceedings of the SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, Joinville, Brazil, 27 September 2021, 2021

2020
Towards the Systematic Testing of Virtual Reality Programs (extended version).
CoRR, 2020

Understanding VR Software Testing Needs from Stakeholders' Points of View.
Proceedings of the 22nd Symposium on Virtual and Augmented Reality, 2020

Reducing the Cost of Mutation Testing with the Use of Primitive Arcs Concept.
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

An Experimental Study on Applying Metamorphic Testing in Machine Learning Applications.
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

Contributions to improve the combined selection of concurrent software testing techniques.
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

Graphical Oracles to Assess Computer-Aided Diagnosis Systems: A Case Study in Mammogram Masses and Calcifications Detection.
Proceedings of the 2020 International Conference on Systems, Signals and Image Processing, 2020

A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
BULNER: BUg Localization with word embeddings and NEtwork Regularization.
Proceedings of the VII Workshop on Software Visualization, Evolution and Maintenance, 2019

Towards the Systematic Testing of Virtual Reality Programs.
Proceedings of the 21st Symposium on Virtual and Augmented Reality, 2019

Software Testing Education: dreams and challenges when bringing academia and industry closer together.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

Analyzing the effectiveness of One-Op Mutation against the minimal set of mutants.
Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, 2019

Testing When Mobile Apps Go to Background and Come Back to Foreground.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

On applying metamorphic testing: an empirical study on academic search engines.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

Integration of Software Testing to Programming Assignments: An Experimental Study.
Proceedings of the IEEE Frontiers in Education Conference, 2019

2018
An automated functional testing approach for virtual reality applications.
Softw. Test. Verification Reliab., 2018

An experimental comparison of edge, edge-pair, and prime path criteria.
Sci. Comput. Program., 2018

Guest editorial foreword for the special issue on automated software testing: trends and evidence.
J. Softw. Eng. Res. Dev., 2018

Using Genetic Algorithms in Test Data Generation: A Critical Systematic Mapping.
ACM Comput. Surv., 2018

Reducing the Cost of Mutation Testing Using the Semantic Size of Mutant.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Where are the minimal mutants?
Proceedings of the XXXII Brazilian Symposium on Software Engineering, 2018

2017
Applying graphical oracles to evaluate image segmentation results.
J. Braz. Comput. Soc., 2017

Test oracles for simulink-like models.
Autom. Softw. Eng., 2017

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper).
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Mineração de Textos para Apoiar a Predição de Severidade de Relatórios de Incidentes: um Estudo de Viabilidade.
Proceedings of the 16th Brazilian Symposium on Software Quality, 2017

Improving the structure of KDM instances via refactorings: An experimental study using KDM-RE.
Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017

Feature-Based Test Oracles to Categorize Synthetic 3D and 2D Images of Blood Vessels.
Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, 2017

On the costs of applying logic-based criteria to mobile applications: An empirical analysis of predicates in real-world Objective-C and Swift applications.
Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, 2017

Are Deletion Mutants Easier to Identify Manually?
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

MET 2017 Workshop Summary.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016
What to expect of predicates: An empirical analysis of predicates in real world programs.
J. Syst. Softw., 2016

Correlating automatic static analysis and mutation testing: towards incremental strategies.
J. Softw. Eng. Res. Dev., 2016

Combination and mutation strategies to support test data generation in the context of autonomous vehicles.
Int. J. Embed. Syst., 2016

Analyzing the validity of selective mutation with dominator mutants.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Strong mutation-based test data generation using hill climbing.
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

Systems-of-systems development: Initiatives, trends, and challenges.
Proceedings of the XLII Latin American Computing Conference, 2016

Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste.
Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

2015
CBIR Based Testing Oracles: An Experimental Evaluation of Similarity Functions.
Int. J. Softw. Eng. Knowl. Eng., 2015

Investigating the Correspondence between Mutations and Static Warnings.
Proceedings of the 29th Brazilian Symposium on Software Engineering, 2015

Systematic Mapping - Formalization of UML Semantics using Temporal Logic.
Proceedings of the ICEIS 2015, 2015

Mapping Formal Results Back to UML Semi-formal Model.
Proceedings of the ICEIS 2015, 2015

Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos.
Proceedings of the XVIII IberoAmerican Conference on Software Engineering, 2015

Content-Based Image Retrieval of 3D Cardiac Models to Aid the Diagnosis of Congestive Heart Failure by Using Spectral Clustering.
Proceedings of the 28th IEEE International Symposium on Computer-Based Medical Systems, 2015

2014
Mitigating the effects of equivalent mutants with mutant classification strategies.
Sci. Comput. Program., 2014

Test Case Selection: A Systematic Literature Review.
Int. J. Softw. Eng. Knowl. Eng., 2014

An Extensible Framework to Implement Test Oracle for Non-Testable Programs.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

An Environment to Support Structural Testing of Autonomous Vehicles.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Growing a Reduced Set of Mutation Operators.
Proceedings of the 2014 Brazilian Symposium on Software Engineering, Maceió, Brazil, September 28, 2014

A mapping study on architecture-driven modernization.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Towards a refactoring catalogue for knowledge discovery metamodel.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Mutant Subsumption Graphs.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Designing Deletion Mutation Operators.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Assessing the Influence of Multiple Test Case Selection on Mutation Experiments.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Experimental Evaluation of SDL and One-Op Mutation for C.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Establishing Theoretical Minimal Sets of Mutants.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Test Data Generation Techniques for Mutation Testing: A Systematic Mapping.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013
Using concepts of content-based image retrieval to implement graphical testing oracles.
Softw. Test. Verification Reliab., 2013

A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area.
J. Syst. Softw., 2013

Functional test data generation for Simulink-like models.
J. Braz. Comput. Soc., 2013

The Relationship between Requirements Engineering and Virtual Reality Systems: A Systematic Literature Review.
Proceedings of the 15th Symposium on Virtual and Augmented Reality, 2013

Structural Testing of Autonomous Vehicles.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Proteum/FL: A tool for localizing faults using mutation analysis.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

A systematic review on mining techniques for crosscutting concerns.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Specifying automated oracles for Simulink models.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Welcome from the Chairs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Test Case Selection Using CBIR and Clustering.
Proceedings of the 19th Americas Conference on Information Systems, 2013

2012
An Integrated Approach of Software Development and Test Processes to Distributed Teams.
J. Univers. Comput. Sci., 2012

Seleção de Casos de Teste Utilizando Conceitos de Variabilidade: Uma Revisão Sistemática.
Proceedings of the 8th Brazilian Symposium on Information Systems, 2012

Towards Envisaging Software Testing in a Pervasive Computing World.
Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Using structural testing information to support monitoring activities.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

What a Long, Strange Trip It's Been: Past, Present, and Future Perspectives on Software Testing Research.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Twenty-Five Years of Research in Structural and Mutation Testing.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

2010
A Viability Study of an Integrated Approach of Software Development and Test to Distributed Teams.
Proceedings of the SCCC 2010, 2010

Built-In Structural Testing of Web Services.
Proceedings of the 24th Brazilian Symposium on Software Engineering, 2010

Systematic mapping study on high-level language virtual machines.
Proceedings of the VMIL@SPLASH 2010: Virtual Machines and Intermediate Languages, Reno, Nevada, USA, October 17, 2010

2009
JaBUTiService: A Web Service for Structural Testing of Java Programs.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Avaliação da Qualidade de Produtos J2ME por Meio do Uso de Pacotes de Experimentação.
Proceedings of the 8th Brazilian Symposium on Software Quality, 2009

2008
Geração de Metadados para o Apoio ao Teste Estrutural de Componentes.
Proceedings of the 7th Brazilian Symposium on Software Quality, 2008

Evaluating Structural Criteria for Testing Mobile Code.
Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering, 2008

2007
Static Analysis of Java Bytecode for Domain-specific Software Testing.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Functional, Control and Data Flow, and Mutation Testing: Theory and Practice.
Proceedings of the Testing Techniques in Software Engineering, 2007

2006
Establishing structural testing criteria for Java bytecode.
Softw. Pract. Exp., 2006

Muta-Pro: Towards the Definition of a Mutation Testing Process.
J. Braz. Comput. Soc., 2006

A Strategy to Perform Coverage Testing of Mobile Applications.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2005
Coverage testing of Java programs and components.
Sci. Comput. Program., 2005

2004
Using Instrumentation to Reproduce the Execution of Java Concurrent Programs.
Proceedings of the 3rd Brazilian Symposium on Software Quality, 2004

Dual Mutation: The Save the Mutants Approach.
Proceedings of the 3rd Brazilian Symposium on Software Quality, 2004

2003
Métricas OO Aplicadas a Código Objeto Java.
Proceedings of the 2nd Brazilian Symposium on Software Quality, 2003

Structural Testing of Mobile Agents.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Component-Based Software: An Overview of Testing.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

2002
Bayesian-Learning Based Guidelines to Determine Equivalent Mutants.
Int. J. Softw. Eng. Knowl. Eng., 2002

JaBÁ: A Java Bytecoder Analyser.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

Mobile Code in .NET: A Porting Experience.
Proceedings of the Mobile Agents, 6th International Conference, 2002

2001
Interface Mutation: An Approach for Integration Testing.
IEEE Trans. Software Eng., 2001

Unit and integration testing strategies for C programs using mutation.
Softw. Test. Verification Reliab., 2001

Interface Mutation Test Adequacy Criterion: An Empirical Evaluation.
Empir. Softw. Eng., 2001

Bayesian-Learning Based Guidelines to determine Equivalente Mutants.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Mutant Operators for Testing Concurrent Java Programs.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

1999
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 1999

Interface Mutation: Assessing Testing Quality at Interprocedural Level.
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 1999

Operadores Essenciais de Interface: Um Estudo de Caso.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

1997
PROTEUM/IM: Uma Ferramenta de Apoio ao Teste de Integração.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

Teste de Integração: Projeto de Operadores para o Critério Mutação de Interface.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

1996
Integration testing using interface mutation.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995
Mutation Testing Applied to Validate Specifications Based on Petri Nets.
Proceedings of the Formal Description Techniques VIII, 1995

1994
Constrained Mutation in C programs.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Mutation analysis testing for finite state machines.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994


  Loading...