1. RVprio: A tool for prioritizing runtime verification violations. (7th March 2022) Authors: Cabral, Lucas; Miranda, Breno; Lima, Igor; d'Amorim, Marcelo Other Names: Păsăreanu Corina guestEditor.; Zeller Andreas guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 5(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗