1 paper · 1 filter
Masaki Waga, Ãtienne André
In runtime verification, pattern matching, which searches for occurrences of a specific pattern within a word, provides more information than a simple violation detection of the mo…