243 search results - page 12 / 49 » Error Detection Using Dynamic Dataflow Verification |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...
IEEEPACT
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
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...
CP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...