Marcio Augusto Guimarães

According to our database, Marcio Augusto Guimarães authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reducing Manual Efforts in Equivalence Analysis in Mutation Testing.

Samuel Amorim, Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos

J. Softw. Eng. Res. Dev., 2024

2022

Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing.

Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

2021

Identifying method-level mutation subsumption relations using Z3.

Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca

Inf. Softw. Technol., 2021

2020

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.

Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2018

Equivalent Mutants in Configurable Systems: An Empirical Study.

Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018