Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Program Spectra Analysis in Embedded Software: A Case Study   Because of constraints imposed by the market, embedded software in consumer
electronics is almost inevitably shipped with faults and the goal is just to
reduce the inherent unreliability to an acceptable level before a product has
to be released. Automatic fault diagnosis is a valuable tool to capture
software faults without extra effort spent on testing. Apart from a debugging
aid at design and integration time, fault diagnosis can help analyzing problems
during operation, which allows for more accurate system recovery. In this paper
we discuss perspectives and limitations for applying a particular fault
diagnosis technique, namely the analysis of program spectra, in the area of
embedded software in consumer electronics devices. We illustrate these by our
first experience with a test case from industry.

33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess