The preceding parts of this book have mainly dealt with test theory, aimed at improving the practical techniques which are applied by testers to enhance the quality of soft- and hardware systems. Only if these academic results can be efficiently and successfully transferred back to practice, they were worth the effort.
|Title of host publication||Model-Based Testing of Reactive Systems: Advanced Lectures|
|Editors||Manfred Broy, Bengt Jonsson, Joost P. Katoen, Martin Leucker, Alexander Pretschner|
|Place of Publication||Berlin|
|Number of pages||48|
|ISBN (Print)||3 540 26278 4|
|Publication status||Published - 2005|
|Name||Lecture Notes in Computer Science|