Login / Signup
Igor Lima
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 5
Top Topics
Model Based Testing
Number Of Test Cases
Test Data Generation
Test Suite
Top Venues
Inf. Softw. Technol.
ICST
CoRR
Softw. Test. Verification Reliab.
</>
Publications
</>
Lucas Cabral
,
Breno Miranda
,
Igor Lima
,
Marcelo d'Amorim
RVprio: A tool for prioritizing runtime verification violations.
Softw. Test. Verification Reliab.
32 (5) (2022)
Igor Lima
,
Jefferson Silva
,
Breno Miranda
,
Gustavo Pinto
,
Marcelo d'Amorim
Exposing bugs in JavaScript engines through test transplantation and differential testing.
Softw. Qual. J.
29 (1) (2021)
Igor Lima
,
Jefferson Silva
,
Breno Miranda
,
Gustavo Pinto
,
Marcelo d'Amorim
Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing.
CoRR
(2020)
Igor Lima
,
Jeanderson Cândido
,
Marcelo d'Amorim
Practical detection of CMS plugin conflicts in large plugin sets.
Inf. Softw. Technol.
118 (2020)
Breno Miranda
,
Igor Lima
,
Owolabi Legunsen
,
Marcelo d'Amorim
Prioritizing Runtime Verification Violations.
ICST
(2020)