1399 search results - page 3 / 280 » Verification of Test Suites |
130
Voted
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
119
Voted
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
98
Voted
WACV
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we describe a novel method for gait based identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or ...
126
click to vote
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
114
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...