6 citations · 22 across the 21 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos +1
Model-based testing (MBT) derives test suites from a behavioural specification of the system under test. In practice, engineers favour simple models, such as labelled transition sy…
cs.FL2019
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm
Alexis Linard, Doina Bucur, Marielle Stoelinga
Cyber-physical systems come with increasingly complex architectures and failure modes, which complicates the task of obtaining accurate system reliability models. At the same time,…