A method for verifying concurrent Java components based on an analysis of concurrency failures.
Brad LongPaul A. StrooperLuke WildmanPublished in: Concurr. Comput. Pract. Exp. (2007)
Keyphrases
- preprocessing
- high accuracy
- significant improvement
- detection method
- genetic algorithm
- dynamic programming
- clustering method
- feature set
- high precision
- neural network
- segmentation method
- synthetic data
- optimization algorithm
- source code
- experimental evaluation
- cost function
- objective function
- similarity measure
- database systems