Compositional Test Generation of Industrial Synchronous Systems.

Daisuke Ishii Takashi Tomita Kenji Onishi Toshiaki Aoki

Published in: CoRR (2021)

Keyphrases

test generation
test cases
data sets
building blocks
learning algorithm
complex systems
test sequences
symbolic execution