Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.
Andreas HumenbergerMaximilian JaroschekLaura KovácsPublished in: CoRR (2017)
Keyphrases
- hidden markov models
- semi automated
- long sequences
- database
- affine invariant
- information retrieval
- information systems
- data driven
- sequential patterns
- computer assisted
- sequential data
- fully automated
- chi squared
- generation method
- phylogenetic trees
- generation process
- invariant features
- case study
- website
- neural network