Conformance Testing in UPPAAL: A diabolic approach.

Emil J. Njor Florian Lorber Nikolaj I. Schmidt Sebastian R. Petersen

Published in: ICST Workshops (2020)

Keyphrases

software testing
real time
data mining
artificial intelligence
database systems
model checking
face recognition
multiscale
timed automata