Sciweavers

1682 search results - page 7 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
97
Voted
ITC
1997
IEEE
92views Hardware» more  ITC 1997»
15 years 6 months ago
A Novel Functional Test Generation Method for Processors Using Commercial ATPG
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
Raghuram S. Tupuri, Jacob A. Abraham
155
Voted
AOSD
2011
ACM
14 years 9 months ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...
104
Voted
ICASSP
2010
IEEE
15 years 2 months ago
Voice activity detection using harmonic frequency components in likelihood ratio test
This paper proposes a new statistical model-based likelihood ratio test (LRT) VAD to obtain reliable speech / non-speech decisions. In the proposed method, the likelihood ratio (L...
Lee Ngee Tan, Bengt J. Borgstrom, Abeer Alwan
100
Voted
ICMCS
2006
IEEE
173views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Applying Supervised Classifiers Based on Non-negative Matrix Factorization to Musical Instrument Classification
In this paper, a new approach for automatic audio classification using non-negative matrix factorization (NMF) is presented. Training is performed onto each audio class individua...
Emmanouil Benetos, Margarita Kotti, Constantine Ko...
131
Voted
TAP
2009
Springer
178views Hardware» more  TAP 2009»
15 years 9 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...