Test Sequences Generation from LUSTRE Descriptions: GATeL.

Bruno Marre Agnès Arnould

Published in: ASE (2000)

Keyphrases

test sequences
test cases
video sequences
bit rate
mutation testing
high level
test generation
generation process
neural network
machine learning
genetic algorithm
learning algorithm
software engineering
generation method
semantic description