6941 search results - page 232 / 1389 » Testing as a Certification Approach |
STVR
2002
13 years 7 months ago
2002
Code-coverage-based test data adequacy criteria typically treat all coverable code elements (such as statements, basic blocks, or outcomes of decisions) as equal. In practice, how...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
SIGMOD
2010
ACM
14 years 2 days ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
IOLTS
2007
IEEE
14 years 2 months ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
IFIP
2001
Springer
14 years 19 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...