Prioritizing Runtime Verification Violations

Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim. Prioritizing Runtime Verification Violations. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020. pages 297-308, IEEE, 2020. [doi]

Authors

Breno Miranda

This author has not been identified. Look up 'Breno Miranda' in Google

Igor Lima

This author has not been identified. Look up 'Igor Lima' in Google

Owolabi Legunsen

This author has not been identified. Look up 'Owolabi Legunsen' in Google

Marcelo d'Amorim

This author has not been identified. Look up 'Marcelo d'Amorim' in Google