Sciweavers

2191 search results - page 134 / 439
» Evolutionary testing of classes
Sort
View
110
Voted
AUTOMATICA
2008
61views more  AUTOMATICA 2008»
15 years 3 months ago
Validity of the standard cross-correlation test for model structure validation
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...
Sippe G. Douma, Xavier Bombois, Paul M. J. Van den...
129
Voted
COMPSAC
2008
IEEE
15 years 3 months ago
Superfit Combinational Elusive Bug Detection
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
R. Barzin, S. Fukushima, William E. Howden, S. Sha...
ESOP
2010
Springer
16 years 29 days ago
Testing Polymorphic Properties
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
Jean-Philippe Bernardy, Patrik Jansson and Koen Cl...
119
Voted
TOOLS
1998
IEEE
15 years 7 months ago
Support for Object-Oriented Testing
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
Michael Kölling, John Rosenberg
155
Voted
ICCAD
1991
IEEE
135views Hardware» more  ICCAD 1991»
15 years 7 months ago
DIATEST: A Fast Diagnostic Test Pattern Generator for Combinational Circuits
This paper presents an efficient algorithm for the generation of diagnostic test patterns which distinguish between two arbitrary single stuck-at faults. The algorithm is able to ...
Torsten Grüning, Udo Mahlstedt, Hartmut Koopm...