RVprio: A tool for prioritizing runtime verification violations.

Lucas Cabral Breno Miranda Igor Lima Marcelo d'Amorim

Published in: Softw. Test. Verification Reliab. (2022)

Keyphrases

neural network
information retrieval
information systems
feature selection
data model
user friendly
software tools
formal verification