P. van den Bos

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...