On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.
Wladimir AraujoLionel C. BriandYvan LabichePublished in: ESEM (2011)
Keyphrases
- object oriented software
- regression testing
- test cases
- false positives
- data flow
- object detection
- diagnostic tests
- automatic detection
- object oriented
- detection method
- detection rate
- detection algorithm
- case study
- fault diagnosis
- model based diagnosis
- databases
- anomaly detection
- false alarms
- sufficient conditions
- fault detection
- static analysis
- learning algorithm
- software development
- real world