Composition of Model-based Test Coverage Criteria

Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder. Composition of Model-based Test Coverage Criteria. In Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Volume 2008-2 of Informatik-Bericht, pages 87-94, TU Braunschweig, Institut für Software Systems Engineering, 2008. [doi]

Abstract

Abstract is missing.