Mutation Analysis for Coq.

Ahmet Çelik Karl Palmskog Marinela Parovic Emilio Jesús Gallego Arias Milos Gligoric

Published in: ASE (2019)

Keyphrases

evolutionary algorithm
statistical analysis
preprocessing
automatic analysis
neural network
real world
genetic algorithm
feature extraction
wide range
data structure
image analysis