Login / Signup
Lucas Cabral
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Formal Verification
Software Tools
Feature Selection
Top Venues
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)