Verifying Numerical Programs via Iterative Abstract Testing.
Banghu YinLiqian ChenJiangchao LiuJi WangPatrick CousotPublished in: SAS (2019)
Keyphrases
- symbolic execution
- databases
- model checking
- artificial intelligence
- social networks
- test generation
- software testing
- computer programs
- qualitative and quantitative
- high level
- sensitivity analysis
- recursive programs
- data sets
- automatic programming
- higher level
- object oriented
- hidden markov models
- data structure
- multi agent
- three dimensional
- website
- image processing
- knowledge base
- genetic algorithm
- information retrieval
- neural network