Fault diagnosis of embedded software using program spectra

Peter Zoeteweij; Rui Abreu; Rob H.M. Golsteijn; A.J.C. van Gemund

Fault diagnosis of embedded software using program spectra

Peter Zoeteweij
, Rui Abreu
, Rob H.M. Golsteijn
, A.J.C. van Gemund

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

7 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands
Editors	P. Groot
Publisher	Technische Universiteit Eindhoven
Pages	47-53
Number of pages	7
Publication status	Published - Mar 2007
Externally published	Yes
Event	3rd European Symposium on Verification and Validation of Software Systems - Eindhoven, Netherlands Duration: 23 Mar 2007 → 23 Mar 2007

Publication series

Name	Computer science reports
Volume	0704
ISSN (Print)	0926-4515

Conference

Conference	3rd European Symposium on Verification and Validation of Software Systems
Country/Territory	Netherlands
City	Eindhoven
Period	23/03/07 → 23/03/07

Access to Document

publishers versionFinal published version, 937 KB

Cite this

@inproceedings{b6e9ee2e55fe434dac9541ad9285a8c5,

title = "Fault diagnosis of embedded software using program spectra",

author = "Peter Zoeteweij and Rui Abreu and Golsteijn, \{Rob H.M.\} and \{van Gemund\}, A.J.C.",

year = "2007",

month = mar,

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

pages = "47--53",

editor = "P. Groot",

booktitle = "Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands",

note = "3rd European Symposium on Verification and Validation of Software Systems ; Conference date: 23-03-2007 Through 23-03-2007",

}

Zoeteweij, P, Abreu, R, Golsteijn, RHM & van Gemund, AJC 2007, Fault diagnosis of embedded software using program spectra. in P Groot (ed.), Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands. Computer science reports, vol. 0704, Technische Universiteit Eindhoven, pp. 47-53, 3rd European Symposium on Verification and Validation of Software Systems, Eindhoven, Netherlands, 23/03/07.

Fault diagnosis of embedded software using program spectra. / Zoeteweij, Peter; Abreu, Rui; Golsteijn, Rob H.M. et al.
Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands. ed. / P. Groot. Technische Universiteit Eindhoven, 2007. p. 47-53 (Computer science reports; Vol. 0704).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Fault diagnosis of embedded software using program spectra

AU - Zoeteweij, Peter

AU - Abreu, Rui

AU - Golsteijn, Rob H.M.

AU - van Gemund, A.J.C.

PY - 2007/3

Y1 - 2007/3

M3 - Conference contribution

T3 - Computer science reports

SP - 47

EP - 53

BT - Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands

A2 - Groot, P.

PB - Technische Universiteit Eindhoven

T2 - 3rd European Symposium on Verification and Validation of Software Systems

Y2 - 23 March 2007 through 23 March 2007

ER -