Igor Lima

According to our database, Igor Lima authored at least 8 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Subgroup separability of surface braid groups and virtual braid groups.

Kisnney Almeida, Igor Lima, Oscar Ocampo

Int. J. Algebra Comput., March, 2026

2025

On small Sylow numbers of finite groups.

Xiaofang Gao, Igor Lima, Rulin Shen

Int. J. Algebra Comput., June, 2025

ARTeMIS: Agent-based Rewriting and Test Case Management with Intelligent Supervision.

Gabriel Carvalho, Andrés D. Peralta, André Carvalho, Yan Soares, Igor Lima, Nikson Bernardes Fernandes Ferreira, Hallyson Luiz de Morais Melo

Proceedings of the 24th Brazilian Symposium on Software Quality, 2025

Automated Generation of Exploratory Test Cases Using Prompt Chaining and Reflective Evaluation.

Igor Lima, André Carvalho, Yan Soares, Gabriel Pacheco, Andrés D. Peralta, Hallyson Luiz de Morais Melo, Nikson Bernardes Fernandes Ferreira, Bruno Costa

Proceedings of the 39th Brazilian Symposium on Software Engineering, 2025

2022

RVprio: A tool for prioritizing runtime verification violations.

Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim

Softw. Test. Verification Reliab., 2022

2021

Exposing bugs in JavaScript engines through test transplantation and differential testing.

Igor Lima, Jefferson Silva, Breno Miranda, Gustavo Pinto, Marcelo d'Amorim

Softw. Qual. J., 2021

2020

Practical detection of CMS plugin conflicts in large plugin sets.

Igor Lima, Jeanderson Cândido, Marcelo d'Amorim

Inf. Softw. Technol., 2020

Prioritizing Runtime Verification Violations.

Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim

Proceedings of the 13th IEEE International Conference on Software Testing, 2020