37 search results - page 5 / 8 » Generative Acceptance Testing for Difficult-to-Test Software |
TCAD
2011
13 years 1 months ago
2011
—This paper presents a hybrid automatic test pattern generation (ATPG) technique using the staggered launch-oncapture (LOC) scheme followed by the one-hot LOC scheme for testing ...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
ICST
2010
IEEE
13 years 4 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
MBEES
2008
13 years 7 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
BMCBI
2006
13 years 6 months ago
2006
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...