Prioritizing Runtime Verification Violations. - Breno Miranda; Igor Lima; Owolabi Legunsen; Marcelo d'Amorim (ICST, 2020)

Practical detection of CMS plugin conflicts in large plugin sets. - Igor Lima; Jeanderson Cândido; Marcelo d'Amorim (Inf. Softw. Technol., 2020)

Exposing bugs in JavaScript engines through test transplantation and differential testing. - Igor Lima; Jefferson Silva; Breno Miranda; Gustavo Pinto 001; Marcelo d'Amorim (Softw. Qual. J., 2021)

RVprio: A tool for prioritizing runtime verification violations. - Lucas Cabral 002; Breno Miranda; Igor Lima; Marcelo d'Amorim (Softw. Test. Verification Reliab., 2022)

On small Sylow numbers of finite groups. - Xiaofang Gao; Igor Lima; Rulin Shen (Int. J. Algebra Comput., 2025)