Diagnosis of embedded software using program spectra

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2007, Pages 213-218

  Zoeteweij, Peter ^a   Abreu, Rui ^a   Golsteijn, Rob ^b   Van Gemund, Arjan J C ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b NXP SEMICONDUCTORS   (Netherlands)

Author keywords

Automated debugging; Consumer electronics; Diagnosis; Embedded systems; Program spectra

Indexed keywords

COMPUTATIONAL METHODS; CONSUMER ELECTRONICS; EMBEDDED SYSTEMS; ERROR COMPENSATION; PROGRAM DIAGNOSTICS; SOFTWARE TESTING;

AUTOMATED DEBUGGING; EMBEDDED SOFTWARE; INDUSTRIAL TESTS; PROGRAM SPECTRA;

PROGRAM DEBUGGING;

EID: 34250191492     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2007.31     Document Type: Conference Paper

References (13)

1. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. An evaluation of similarity coefficients for software fault localization. In Proceedings of PRDC'06, pages 39-46. IEEE Computer Society, 2006.
2. L. Augusteijn. Front: a front-end generator for Lex, Yacc and C, release 1.0, 2002. See http://front.sourceforge.net/.
3. A. Avižienis, J.-C. Laprie, B. Randell, and C. E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput., 1(1):11-33, 2004.
4. M. Y. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer. Pinpoint: Problem determination in large, dynamic internet services. In Proceedings of DSN 2002, pages 595-604. IEEE Computer Society, 2002.
5. V. Dalimeier, C. Lindig, and A. Zeller. Lightweight defect localization for Java. In A. P. Black, editor, Proceedings of ECOOP 2005, volume 3586 of LNCS, pages 528-550. Springer-Verlag, 2005.
6. J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artif. Intell., 32(1):97-130, 1987.
7. M. J. Harrold, G. Rothermel, R. Wu, and L. Yi. An empirical investigation of program spectra. ACM SIGPLAN Notices, 33(7):83-90, 1998.
8. A. K. Jain and R. C. Dubes. Algorithms for clustering data. Prentice-Hall, Inc., 1988.
9. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In Proceedings of ICSE 2002, pages 467-477. ACM Press, 2002.
10. B. Korel and J. Laski. Dynamic program slicing. Information Processing Letters, 29:155-163, 1988.
11. T. Reps, T. Ball, M. Das, and J. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem. In M. Jazayeri and H. Schauer, editors, Proceedings of ESEC/FSE97, volume 1301 of LNCS, pages 432-449. Springer-Verlag, 1997.
12. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee. The Koala component model for consumer electronics software. IEEE Computer, March 2000.
13. F. Wotawa, M. Strumptner, and W. Mayer. Model-based debugging or how to diagnose programs automatically. In T. Hendtlass and M. Ali, editors, Proceedings of IAE/AIE 2002, volume 2358 of LNCS, pages 746-757. Springer-Verlag, 2002.