Lucas Cabral, Breno Miranda, Igor Lima, Marcelo d'Amorim. RVprio: A tool for prioritizing runtime verification violations. Softw. Test., Verif. Reliab., 32(5), 2022. [doi]
@article{CabralMLd22,
title = {RVprio: A tool for prioritizing runtime verification violations},
author = {Lucas Cabral and Breno Miranda and Igor Lima and Marcelo d'Amorim},
year = {2022},
doi = {10.1002/stvr.1813},
url = {https://doi.org/10.1002/stvr.1813},
researchr = {https://researchr.org/publication/CabralMLd22},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {32},
number = {5},
}