ThEodorE: a Trace Checker for CPS Properties.

Claudio Menghi Enrico Viganò Domenico Bianculli Lionel C. Briand

Published in: ICSE (Companion Volume) (2021)

Keyphrases

structural properties
genetic algorithm
machine learning
information technology
artificial neural networks
evolutionary algorithm
d objects
desirable properties