Mutants Generation For Testing Lustre Programs.

Le Van Phol Nguyen Thanh Binh Ioannis Parissis

Published in: SoICT (2017)

Keyphrases

test cases
test suite
test sequences
set of test cases
symbolic execution
test data
decision making
java programs
genetic algorithm
artificial intelligence
generation process
test generation
control structures
learning algorithm
learning environment
generation algorithm