On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software.
Wladimir AraujoLionel C. BriandYvan LabichePublished in: IEEE Trans. Software Eng. (2014)
Keyphrases
- test cases
- object oriented software
- fault diagnosis
- regression testing
- fault detection
- model based diagnosis
- multiple faults
- fault detection and diagnosis
- detection algorithm
- mutation testing
- design patterns
- detection method
- data flow
- diagnostic tests
- object oriented
- supply chain
- software testing
- fault model
- test generation
- test suite
- active learning
- neural network
- built in self test
- root cause
- software architecture
- object detection
- case study
- artificial intelligence