Sciweavers

Share
MBEES
2008
8 years 6 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
MBEES
2008
8 years 6 months ago
View-Centric Modeling of Automotive Logical Architectures
Hans Grönniger, Jochen Hartmann, Holger Krahn...
books