220 search results - page 2 / 44 » A Framework for Good Enough Testing |
CHARME
2005
Springer
13 years 11 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
ASIACRYPT
2010
Springer
13 years 3 months ago
2010
Springer
In a recent work, Mangard et al. showed that under certain assumptions, the (so-called) standard univariate side-channel attacks using a distance-of-means test, correlation analysi...
CAISE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Business process modeling is an important corporate activity, but the understanding of what constitutes good process models is still rather limited. In this paper, we tur...
TAICPART
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents data from a study of the current state of practice of software testing. Test managers from twelve different software organizations were interviewed. The interv...
ICCAD
2006
IEEE
14 years 2 months ago
2006
IEEE
Faster-than-at-speed test have been proposed to detect small delay defects. While these techniques increase the test frequency to reduce the positive slack of the path, they exace...