Login / Signup
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version).
Alexandra Bugariu
Arshavir Ter-Gabrielyan
Peter Müller
Published in:
Formal Aspects Comput. (2023)
Keyphrases
</>
graph matching
data mining techniques
pattern matching
image matching
information retrieval
genetic algorithm
image sequences
feature points
test cases
image set
pattern discovery
temporal patterns
computer programs
program execution
control program
repetitive patterns