Avoiding useless mutants. - Leonardo Fernandes; Márcio Ribeiro 001; Luiz Carvalho; Rohit Gheyi; Melina Mongiovi; André L. M. Santos; Ana Cavalcanti 001; Fabiano Cutigi Ferrari; José Carlos Maldonado (GPCE, 2017)

Mutation Operators for Code Annotations. - Pedro Pinheiro; José Carlos Viana; Leonardo Fernandes; Márcio Ribeiro 001; Fabiano Cutigi Ferrari; Baldoino Fonseca; Rohit Gheyi (SAST, 2018)

Equivalent Mutants in Configurable Systems: An Empirical Study. - Luiz Carvalho; Marcio Augusto Guimarães; Márcio Ribeiro 001; Leonardo Fernandes; Mustafa Al-Hajjaji; Rohit Gheyi; Thomas Thüm (VaMoS, 2018)

A systematic literature review of techniques and metrics to reduce the cost of mutation testing. - Alessandro Viola Pizzoleto; Fabiano Cutigi Ferrari; Jeff Offutt; Leonardo Fernandes; Márcio Ribeiro 001 (J. Syst. Softw., 2019)

Is Exceptional Behavior Testing an Exception?: An Empirical Assessment Using Java Automated Tests. - Francisco Dalton; Márcio Ribeiro 001; Gustavo Pinto 001; Leonardo Fernandes; Rohit Gheyi; Baldoino Fonseca (EASE, 2020)

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. - Marcio Augusto Guimarães; Leonardo Fernandes; Márcio Ribeiro 001; Marcelo d'Amorim; Rohit Gheyi (ICST, 2020)

Refactoring Test Smells: A Perspective from Open-Source Developers. - Elvys Soares; Márcio Ribeiro 001; Guilherme Amaral; Rohit Gheyi; Leo Fernandes; Alessandro Garcia 001; Baldoino Fonseca; André L. M. Santos (SAST, 2020)

Mutating code annotations: An empirical evaluation on Java and C# programs. - Pedro Pinheiro; José Carlos Viana; Márcio Ribeiro 001; Leonardo Fernandes; Fabiano Cutigi Ferrari; Rohit Gheyi; Baldoino Fonseca (Sci. Comput. Program., 2020)

Identifying method-level mutation subsumption relations using Z3. - Rohit Gheyi; Márcio Ribeiro 001; Beatriz Souza; Marcio Augusto Guimarães; Leo Fernandes; Marcelo d'Amorim; Vander Alves; Leopoldo Teixeira; Baldoino Fonseca (Inf. Softw. Technol., 2021)

Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing. - Leo Fernandes; Márcio Ribeiro 001; Rohit Gheyi; Márcio E. Delamaro; Marcio Augusto Guimarães; André L. M. Santos (SBES, 2022)

Reducing Manual Efforts in Equivalence Analysis in Mutation Testing. - Samuel Amorim; Leo Fernandes; Márcio Ribeiro 001; Rohit Gheyi; Márcio E. Delamaro; Marcio Augusto Guimarães; André L. M. Santos (J. Softw. Eng. Res. Dev., 2024)