1399 search results - page 47 / 280 » Verification of Test Suites |
125
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
133
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
141
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
115
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
164
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...