6014 search results - page 225 / 1203 » Structural Testing with Use Cases |
209
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
111
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
121
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
Deterministic observation and random excitation of fault sites during the ATPG process dramatically reduces the overall defective part level. However, multiple observations of eac...
173
Voted
DOLAP
1999
ACM
15 years 8 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
150
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...