Facilitating Verification in Program Loops by Identification of Static Iteration Patterns.
Aditya DesaiEra JainSubhajit RoyPublished in: APSEC (1) (2013)
Keyphrases
- person identification
- pattern mining
- model checking
- dynamic analysis
- pattern discovery
- hardware designs
- symbolic execution
- object oriented
- data mining techniques
- complex patterns
- similar patterns
- information retrieval
- real time
- frequent patterns
- database
- computer programs
- formal verification
- hidden markov models
- test generation
- website
- control program