Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.
Brad LongRoger DukeDoug GoldsonPaul A. StrooperLuke WildmanPublished in: IPDPS (2004)
Keyphrases
- detection method
- preprocessing
- experimental evaluation
- synthetic data
- fully automatic
- high precision
- segmentation method
- theoretical analysis
- edge detection
- verification method
- optimization algorithm
- segmentation algorithm
- computationally efficient
- simulated annealing
- genetic algorithm
- cost function
- color images
- prior knowledge
- pairwise
- computational complexity
- objective function
- similarity measure
- feature extraction
- clustering algorithm