Preprint
Sep 2026
Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO
In Model-Based Testing (MBT), test suites are generated automatically from a formal specification. The theory of testing real-time systems is rich, but often underused in practice, partly because applying the timed machinery demands expertise practitioners should not need. In prior work we addressed this for timed test...
L. B. Briones, P. van den Bos, M. Gerhold
· 0 citations