Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.

Chih-Hong Cheng Changshun Wu Emmanouil Seferis Saddek Bensalem

Published in: ATVA (2022)

Keyphrases

formal specification
dynamic aspects
corner detection
corner detectors
object detection
component based development
data structure
high level
string matching
edit distance
symbolic representation
pattern matching
feature points
context free grammars
information systems
open source
case study