Sciweavers

6704 search results - page 78 / 1341
» Testing Scenario-Based Models
Sort
View
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
13 years 11 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
GI
2009
Springer
13 years 8 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
PTS
2007
97views Hardware» more  PTS 2007»
13 years 11 months ago
Learning and Integration of Parameterized Components Through Testing
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
NCI
2004
141views Neural Networks» more  NCI 2004»
13 years 11 months ago
Estimating the error at given test input points for linear regression
In model selection procedures in supervised learning, a model is usually chosen so that the expected test error over all possible test input points is minimized. On the other hand...
Masashi Sugiyama
ICML
2004
IEEE
14 years 11 months ago
Testing the significance of attribute interactions
Attribute interactions are the irreducible dependencies between attributes. Interactions underlie feature relevance and selection, the structure of joint probability and classific...
Aleks Jakulin, Ivan Bratko