Identifying method-level mutation subsumption relations using Z3.
Rohit GheyiMárcio RibeiroBeatriz SouzaMarcio Augusto GuimarãesLeo FernandesMarcelo d'AmorimVander AlvesLeopoldo TeixeiraBaldoino FonsecaPublished in: Inf. Softw. Technol. (2021)
Keyphrases
- high precision
- significant improvement
- detection method
- preprocessing
- classification method
- high accuracy
- computational cost
- dynamic programming
- experimental evaluation
- similarity measure
- np complete
- evolutionary algorithm
- genetic algorithm
- multi objective
- probabilistic model
- color images
- edge detection
- mutual information
- input data
- prior knowledge
- theoretical analysis
- optimization algorithm
- clustering method
- segmentation method
- pairwise