Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study.

Abdesselam Lakehal Ioannis Parissis

Published in: AST (2007)

Keyphrases

semi automated
computer programs
real world
test bed
case study
structural analysis
data sets
structural information
data driven
similarity measure
machine learning
databases
decision trees
sensor networks
website
information systems
information theory
social networks
genetic algorithm