4930 search results - page 328 / 986 » Testing a Safety-Critical Application |
172
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
147
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a forensic technique for analyzing a printed image in order to trace the originating printer. Our method, which is applicable for commonly used electrophotographic (EP)...
161
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
159
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
159
click to vote
EXTREME
2004
ACM
16 years 5 days ago
2004
ACM
Large volumes of XML document instances are created by conversion systems that rely on heuristic-based tagging. Quality assurance is typically conducted on individual document ins...