Learning in Uppaal for Test Case Generation for Cyber-Physical Systems.

Published in: ECBS (2023)

Keyphrases

evolutionary algorithm
databases
high level
low cost
learning analytics
data mining
machine learning
test case generation