Differentially testing soundness and precision of program analyzers.
Christian KlingerMaria ChristakisValentin WüstholzPublished in: ISSTA (2019)
Keyphrases
- test cases
- symbolic execution
- concurrent programs
- test set
- high precision
- computer programs
- artificial intelligence
- case study
- static analysis
- precision and recall
- search based software testing
- control program
- program execution
- high recall
- test suite
- information retrieval
- information extraction
- decision trees
- website
- information systems
- neural network
- real time