2686 search results - page 110 / 538 » Testing metric properties |
113
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
97
Voted
VLSID
1996
IEEE
15 years 5 months ago
1996
IEEE
W epropose a coverage metric and a two-pass test generation method for path delay faults in combinational logic circuits. The coverage is measured for each line with a rising and ...
117
Voted
ICSE
2008
IEEE-ACM
16 years 1 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...
80
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
131
Voted
ISBMS
2010
Springer
15 years 2 months ago
2010
Springer
We analyze a problem, which is relevant for physiological modeling of vascular networks: the initialization and optimization of specific, individual models of a functioning vessel ...