4 search results - page 1 / 1 » Probabilistic regression suites for functional verification |
DAC
2004
ACM
13 years 8 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
WACV
2005
IEEE
13 years 10 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 ...
ISSRE
2003
IEEE
13 years 9 months ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...