Sciweavers

840 search results - page 72 / 168
» Test suite oscillations
Sort
View
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 15 days ago
Common Reusable Verification Environment for BCA and RTL Models
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...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
ICST
2010
IEEE
14 years 11 months ago
(Un-)Covering Equivalent Mutants
—Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to...
David Schuler, Andreas Zeller
109
Voted
DCC
2006
IEEE
16 years 3 days ago
Roux-type constructions for covering arrays of strengths three and four
A covering array CA(N; t, k, v) is an N ? k array such that every N ? t sub-array contains all t-tuples from v symbols at least once, where t is the strength of the array. Coverin...
Charles J. Colbourn, Sosina Martirosyan, Tran van ...
GECCO
2005
Springer
135views Optimization» more  GECCO 2005»
15 years 6 months ago
Improving particle swarm optimization with differentially perturbed velocity
This paper introduces a novel scheme of improving the performance of particle swarm optimization (PSO) by a vector differential operator borrowed from differential evolution (DE)....
Swagatam Das, Amit Konar, Uday Kumar Chakraborty
67
Voted
NIME
2004
Springer
79views Music» more  NIME 2004»
15 years 5 months ago
A Survey of Real-Time MIDI Performance
Although MIDI is often used for computer-based interactive music applications, its real-time performance is rarely quantified, despite concerns about whether it is capable of ade...
Mark J. Nelson, Belinda Thom