Leveraging test generation and specification mining for automated bug detection without false positives.
Michael PradelThomas R. GrossPublished in: ICSE (2012)
Keyphrases
- false positives
- test generation
- false negative
- detection rate
- false positive rate
- false alarms
- true positive
- low false positive rate
- test cases
- number of false positives
- data mining
- symbolic execution
- false detections
- image quality
- high detection rate
- detection accuracy
- software systems
- static analysis
- quality assurance
- data mining techniques
- source code
- design automation
- software development
- high level
- data sets