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)

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)

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)