mCoq: mutation analysis for Coq verification projects.

Kush Jain Karl Palmskog Ahmet Çelik Emilio Jesús Gallego Arias Milos Gligoric

Published in: ICSE (Companion Volume) (2020)

Keyphrases

real time
case study
image analysis
evolutionary algorithm
neural network
genetic algorithm
computer vision
data analysis
statistical analysis
real world
information systems
e learning
data structure
search algorithm
differential evolution
project management