630 search results - page 32 / 126 » Causality based generation of directed test cases |
SNPD
2008
14 years 11 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
AUTOMATICA
2002
14 years 9 months ago
2002
This paper considers the problem of designing a controller for an unknown plant based on input/output measurements. The new design method we propose is direct (no model identificat...
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
ICAIL
2003
ACM
15 years 3 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...