Differentially Testing Soundness and Precision of Program Analyzers.
Christian KlingerMaria ChristakisValentin WüstholzPublished in: CoRR (2018)
Keyphrases
- test cases
- symbolic execution
- precision and recall
- search based software testing
- high recall
- concurrent programs
- test suite
- high precision
- computer programs
- program execution
- neural network
- multiscale
- computer vision
- test set
- dynamic analysis
- artificial neural networks
- test data generation
- control program
- similarity measure
- set of test cases
- genetic algorithm