714 search results - page 14 / 143 » Verification and Compliance Testing |
TAP
2010
Springer
13 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
CSDA
2006
13 years 7 months ago
2006
The comparison of the accuracy of two binary diagnostic tests has traditionally required knowledge of the real state of the disease in all of the patients in the sample via the ap...
ICITS
2009
13 years 5 months ago
2009
We observe that finding invalid signatures in batches of signatures that fail batch verification is an instance of the classical group testing problem. We present and compare new ...
ENTCS
2010
13 years 7 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
PTS
2004
13 years 8 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...