1399 search results - page 105 / 280 » Verification of Test Suites |
143
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
121
click to vote
ISESE
2003
IEEE
15 years 9 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
171
click to vote
ATS
2001
IEEE
15 years 8 months ago
2001
IEEE
Testing and diagnosis are important issues in system-onchip (SOC) development, as more and more embedded cores are being integrated into the chips. In this paper we propose a buil...
156
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
163
click to vote
ENTCS
2010
15 years 1 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...