2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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,…