Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.

Andreas Humenberger Maximilian Jaroschek Laura Kovács

Published in: ISSAC (2017)

Keyphrases

semi automated
fully automated
generation process
long sequences
genetic algorithm
case study
hidden markov models
data driven
text categorization
sequential patterns
sequence analysis
data sets
data mining
information systems
pattern recognition
affine invariant