Sound and Quasi-Complete Detection of Infeasible Test Requirements.
Sébastien BardinMickaël DelahayeRobin DavidNikolai KosmatovMike PapadakisYves Le TraonJean-Yves MarionPublished in: ICST (2015)
Keyphrases
- automatic detection
- inference rules
- detection algorithm
- set of inference rules
- detection accuracy
- detection method
- test data
- object detection
- computer vision
- database
- false positives
- database systems
- evolutionary algorithm
- search space
- anomaly detection
- relational databases
- test cases
- statistically significant
- decision trees
- website
- false alarms
- target detection
- detection scheme
- artificial intelligence