Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs.

Abdesselam Lakehal Ioannis Parissis

Published in: ISSRE (2005)

Keyphrases

assessment tool
user friendly
computer programs
real time
knowledge base
data sets
data structure
expert systems
data model
software tools
set of test cases