C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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