6014 search results - page 175 / 1203 » Structural Testing with Use Cases |
122
Voted
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
127
Voted
COLT
2007
Springer
15 years 10 months ago
2007
Springer
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is li...
138
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
121
Voted
IJDE
2007
15 years 3 months ago
2007
The Daubert process used in the admissibility of evidence contains major guidelines applied in assessing forensic procedures, two of which are testing and error rates. The Digital...
139
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
To reduce test data volumes, encoded tests and compacted test responses are widely used in industry. Use of test response compaction negatively impacts fault diagnosis since the e...