Igor Lima

Orcid: 0000-0002-0346-2716

According to our database¹, Igor Lima authored at least 5 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

On small Sylow numbers of finite groups.

[BibT_eX]

[DOI]

Xiaofang Gao

Igor Lima

Rulin Shen

Int. J. Algebra Comput., June, 2025

2022

RVprio: A tool for prioritizing runtime verification violations.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2022

2021

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

[BibT_eX]

[DOI]

Softw. Qual. J., 2021

2020

Practical detection of CMS plugin conflicts in large plugin sets.

[BibT_eX]

[DOI]

Igor Lima

Jeanderson Cândido

Marcelo d'Amorim

Inf. Softw. Technol., 2020

Prioritizing Runtime Verification Violations.

[BibT_eX]

[DOI]

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

Igor Lima

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...