758 search results - page 64 / 152 » Pattern-Constrained Test Case Generation |
137
Voted
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
125
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
114
Voted
SNPD
2008
15 years 4 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...
106
click to vote
ICST
2008
IEEE
15 years 9 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...
87
Voted
METRICS
2003
IEEE
15 years 7 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...