Proof Process Evaluation with Mutation Analysis.

Lydie du Bousquet Michel Lévy

Published in: TAP@TOOLS (2010)

Keyphrases

data analysis
statistical analysis
real time
computer vision
evolutionary algorithm
empirical analysis
evaluation process
information systems
case study
genetic programming
quantitative analysis
mutation operator