activity
20242026
most citedHow hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 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…