Towards Mutation Analysis for Lustre Programs.

Lydie du Bousquet Michel Delaunay

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

data analysis
statistical analysis
automatic analysis
databases
machine learning
genetic algorithm
multimedia
image sequences
evolutionary algorithm
probabilistic model
computer programs