A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis.
Hongbo ZhouQian WangDahai JinYunzhan GongPublished in: ISSRE Workshops (2012)
Keyphrases
- mathematical model
- high level
- theoretical framework
- quantitative analysis
- probabilistic model
- information retrieval
- formal model
- statistical model
- cellular automata
- statistical analysis
- probability distribution
- evolutionary algorithm
- artificial intelligence
- computational model
- image analysis
- website
- genetic algorithm
- machine learning
- network model