Efficient Mutation-Analysis Coverage for Constrained Random Verification.

Tao Xie Wolfgang Müller Florian Letombe

Published in: DIPES/BICC (2010)

Keyphrases

quantitative analysis
genetic algorithm
real time
machine learning
computer vision
image analysis
database
data sets
neural network
real world
social networks
evolutionary algorithm
statistical analysis
formal analysis