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]

Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker Alexander Pretschner 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] 3472 2005 3-540-26278-4 Model-Based Testing of Reactive Systems Lecture Notes in Computer Science Springer db/conf/dagstuhl/test2004.html