4 citations · 7 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO
Laura Brandán Briones, Petra van den Bos, Marcus Gerhold
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,…
cs.SE2026
Crash-free Deductive Verifiers
Wander Nauta, Marcus Gerhold, Marieke Huisman
As deductive verifiers mature, their potential user base is growing from the initial core developers to other users. To convince external users of the suitability of verifiers, the…