Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers.
Alexandra BugariuArshavir Ter-GabrielyanPeter MüllerPublished in: FM (2021)
Keyphrases
- matching process
- matching algorithm
- image matching
- data sets
- data mining techniques
- pattern matching
- pattern mining
- point sets
- graph matching
- temporal patterns
- interesting patterns
- repetitive patterns
- finding similar
- similar patterns
- statistical machine translation
- programming course
- programming environment
- image registration
- knowledge discovery
- information retrieval