550 search results - page 63 / 110 » Complementarity of Error Detection Techniques |
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Techniques are presented for detecting phoneme level mispronunciations in utterances obtained from a population of impaired children speakers. The intended application of these ap...
DELTA
2010
IEEE
14 years 2 months ago
2010
IEEE
: Most of published audio watermark algorithms are suffered a trade-off between inaudibility and detectibility, and the detection performance depends greatly on the strength of noi...
ESEC
1997
Springer
14 years 15 days ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...