Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]

By Manfred Broy, B. Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. Model-Based Testing of Reactive Systems, 2005

364 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/526f5d17117f1e32e3d4b6a2be597e221b66e43b