4192 search results - page 119 / 839 » Efficient testing of groups |
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
73
Voted
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
The formal analysis of parallelism and pipelining is performed on an 8-bit Add-Compare-Select element of a Viterbi decoder. The results are quantified through a study of the delay...
164
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
75
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents four rotatable multi-objective test problems that are designed for testing EMO (Evolutionary Multiobjective Optimization) algorithms on their ability in dealin...
92
Voted
COMPSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
In recent years, several techniques have been proposed for class-level regression testing. Most of these techniques focus either on white- or black-box testing, although an integr...