Login / Signup
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