10 citations · 23 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 4 cited
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
Tobias R. Gundersen, Florian Lorber, Ulrik Nyman +1
Model checking of real-time systems has evolved throughout the years. Recently, the model checker Ecdar, using timed I/O automata, was used to perform compositional verification. H…
cs.SE2018★ 7 cited
Learning Timed Automata via Genetic Programming
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen +1
Model learning has gained increasing interest in recent years. It derives behavioural models from test data of black-box systems. The main advantage offered by such techniques is t…