Marcio Augusto Guimarães

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Mutation Testing

Top Venues

Inf. Softw. Technol.

J. Softw. Eng. Res. Dev.

Publications

Samuel Amorim, Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos
Reducing Manual Efforts in Equivalence Analysis in Mutation Testing. J. Softw. Eng. Res. Dev. 12 (1) (2024)
Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André Santos
Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing. SBES (2022)
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca
Identifying method-level mutation subsumption relations using Z3. Inf. Softw. Technol. 132 (2021)
Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. ICST (2020)
Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm
Equivalent Mutants in Configurable Systems: An Empirical Study. VaMoS (2018)