Marcio Augusto Guimarães

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Reducing Manual Efforts in Equivalence Analysis in Mutation Testing.
J. Softw. Eng. Res. Dev., 2024

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
Identifying method-level mutation subsumption relations using Z3.
Inf. Softw. Technol., 2021

2020
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2018
Equivalent Mutants in Configurable Systems: An Empirical Study.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018


  Loading...