A method to localize faults in concurrent C programs.
Erickson H. da S. AlvesLucas C. CordeiroEddie Batista de Lima FilhoPublished in: J. Syst. Softw. (2017)
Keyphrases
- experimental evaluation
- preprocessing
- fully automatic
- computationally efficient
- theoretical analysis
- cost function
- detection method
- error rate
- pairwise
- dynamic programming
- computational complexity
- computational cost
- neural network
- high accuracy
- synthetic data
- support vector machine svm
- main contribution
- input image
- model selection
- mutual information
- denoising
- support vector machine
- prior knowledge
- evolutionary algorithm
- multiscale
- similarity measure