759 search results - page 58 / 152 » Test case generator for GUITAR |
111
Voted
APSEC
2004
IEEE
15 years 4 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...
96
Voted
SNPD
2008
15 years 2 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...
89
Voted
ICST
2008
IEEE
15 years 7 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...
METRICS
2003
IEEE
15 years 6 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...
93
Voted
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...