Book Chapters

R. Abreu, A. Gonzalez, P. Zoeteweij, and A.J.C. van Gemund, Using Fault Screeners for Software Error Detection. In J. Cordeiro, L.A. Maciaszek, S. Hammoudi and J. Filipe (Eds.): WEBIST / ENASE 2008 Revised Best Papers, Lecture Notes in Communications in Computer and Information Science (LNCCIS), vol. XX, pp. XX-XX. Springer-Verlag. (to appear)

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, Fault Localization in Embedded Software. In R. Mathijssen (Ed.): TRADER: Reliability of High-Volume Consumer Products, Embedded Systems Institute.

P. Zoeteweij, R. Abreu, and A.J.C. van Gemund, Spectrum-Based Fault Localization in Practice. In R. Mathijssen (Ed.): TRADER: Reliability of High-Volume Consumer Products, Embedded Systems Institute.

Journals

R. Abreu, P. Zoeteweij, R. Golsteijn, and A.J.C. van Gemund, A Practical Evaluation of Spectrum-based Fault Localization. Journal of Systems and Software (JSS), Elsevier, 2009.

Conferences / Workshops

R. Abreu, P.Zoeteweij, and A.J.C. van Gemund, Spectrum-based Multiple Fault Localization. In Proceedings of the 24th International Conference on Automated Software Engeneering (ASE'09), Auckland, New Zealand, November 2009. IEEE Society.

T. Janssen, R. Abreu, and A.J.C. van Gemund, Zoltar: A Toolset for Automatic Fault Localization. In Proceedings of the 24th International Conference on Automated Software Engeneering (ASE'09) - Tools Track, Auckland, New Zealand, November 2009. IEEE Computer Society. (Best Demo Award)

R. Abreu, Peter Zoeteweij, and A.J.C. van Gemund, Localizing Software Faults Simultaneously. In Proceedings of the 9th International Conference on Quality of Software (QSIC'09), Jeju, South Korea, August 2009. IEEE Computer Society.

T. Janssen, R. Abreu, and A.J.C. van Gemund, Zoltar: A Spectrum-based Fault Localization Tool. In Proceedings of the 1st International Workshop on Software Integration and Evolution @ Runtime (SINTER'09), pp. 23--29, Amsterdam, the Netherlands, August 2009. ACM Press.

R. Abreu and A.J.C. van Gemund, A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. In Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09), pp.2--8, Lake Arrowhead, CA, USA, July 2009. AAAI Press.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. In Proceedings of the 21st International Joint Conference on Artifical Intelligence (IJCAI'09), pp. 653--658, Pasadena, CA, USA, July 2009. AAAI Press.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, A Model-based Reasoning Approach to Software Debugging. In Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE'09), vol. 214, pp. 233--239, Tainan, Taiwan, June 2009. Studies in Computational Intelligence, Springer-Verlag.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, A Bayesian Approach to Diagnose Multiple Intermittent Faults. In Proceedings of the 20th International Workshop on Principles of Diagnosis (DX'09), pp. 27--33, Stockholm, Sweden, June 2009.

R. Abreu and A.J.C. van Gemund, Statistics-directed Minimal Hitting Set Algorithm. In Proceedings of the 20th International Workshop on Principles of Diagnosis (DX'09), pp. 51--58, Stockholm, Sweden, June 2009.

R. Abreu, W. Mayer, M. Stumptner, and A.J.C. van Gemund, Refining Spectrum-based Fault Localization Rankings. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) - Software Engineering Track, pp. 409--414, Honolulu, Hawai'i, USA, March 2009. ACM Press.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, A Dynamic Modeling Approach to Software Multiple-Fault Localization. In Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 7-14, Blue Mountains, NSW, Australia, September 2008.

W. Mayer, R. Abreu, M. Stumptner, and A.J.C. van Gemund, Prioritizing Model-Based Debugging Diagnostic Reports. In Proceedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 127-134, Blue Mountains, NSW, Australia, September 2008.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, An Observation-based Model for Fault Localization. In Proceedings of the 6th Workshop on Dynamic Analysis (WODA'08), colocated with the International Symposium on Software Testing and Analysis (ISSTA'08), pp. 64-70, Seattle, WA, USA, July 2008. ACM Press.

P. Zoeteweij, J. Pietersma, R. Abreu, A. Feldman, and A.J.C. van Gemund, Automated Fault Diagnosis in Embedded Systems. In Proceedings of the 2nd IEEE International Conference on Secure Systems and Reliability Improvement (SSIRI'08), pp. 103-110, Yokohama, Japan, July 2008. IEEE Computer Society.

R. Abreu, A. González, P. Zoeteweij, and A.J.C. van Gemund, On the Performance of Fault Screeners in Software Development and Deployment. In Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), pp. 123--130, Funchal, Madeira, Portugal, May 2008. INSTICC Press.

R. Abreu, A. González, P. Zoeteweij, and A.J.C. van Gemund, Automatic Software Fault Localization using Generic Program Invariants. In Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC'08) - Software Engineering Track, pp. 712--717, Fortaleza, Ceará, Brazil, March 2008. ACM Press.

P. Zoeteweij, J. Pietersma, R. Abreu, A. Feldman, and A.J.C. van Gemund, Automated Fault Diagnosis in Embedded Software. In Proceedings of the ESI / Bits & Chips Embedded Systems Conference, Eindhoven, The Netherlands, October 2007.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, On the Accuracy of Spectrum-based Fault Localization. In Proceedings of the Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07), pp. 89--98, Windsor, United Kingdom, September 2007. IEEE Computer Society.

P. Zoeteweij, R. Abreu, R. Golsteijn, and A.J.C. van Gemund, Diagnosis of Embedded Software using Program Spectra. In Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), pp. 213--218, Tucson, AZ, USA, March 2007. IEEE Computer Society.

P. Zoeteweij, R. Abreu, R. Golsteijn, and A.J.C. van Gemund, Fault Diagnosis of Embedded Software using Program Spectra. In Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), LaQuSo: Laboratory for Quality Software, Eindhoven, The Netherlands, March 2007, also available as Eindhoven Computing Science Technical Report: CS-Report 07-04

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, An Evaluation of Similarity Coefficients for Software Fault Localization. In Proceedings of the 12th International Symposium on Pacific Rim Dependable Computing (PRDC'06), pp. 39--46, Riverside, CA, USA, December 2006. IEEE Computer Society.

R. Abreu, P. Zoeteweij, R. Golsteijn, and A.J.C. van Gemund, Automatic Fault Diagnosis in Embedded Software. In Proceedings of 10th Philips Software Conference (PSC'06), Veldhoven, The Netherlands, November 2006.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, Program Spectra Analysis in Embedded Software: A Case Study. In Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06), pp. 263 -- 269, Lommel, Belgium, June 2006.

Theses

R. Abreu, Spectrum-based Fault Localization in Embedded Software. PhD Thesis Delft University of Technology, November 2009.

Rui Abreu, ASN.1 Encoder/Decoder Generator, University of Minho and Siemens R&D Portugal (now Nokia Siemens Networks), September, 2004. (Final Project - Equivalent to the Dutch Master Thesis, Siemens confidential document)

Technical Reports

See the TUD-SERG Technical Report Series

Miscellaneous

P. Zoeteweij, R. Abreu, and A.J.C. van Gemund Software Fault Diagnosis. Tutorial in the joint tutorial day of the TESTCOM / FATES and FORTE conferences, Tallinn, Estonia, June 2007.

P. Zoeteweij, R. Abreu, and A.J.C. van Gemund, Spectrum-Based Fault Localization in a Resource-Constrained Environment. Presentation at the Bits & Chips Testdag, Veldhoven, The Netherlands, June 2007.

J. Pietersma, R. Abreu, A. Feldman, P. Zoeteweij, and A.J.C. van Gemund, Automated Fault Diagnosis. Poster session at Nederlands Institute for Research ICT kick-off Event, Utrecht, The Netherlands, March 2007.

P. Zoeteweij, R. Abreu, R. Golsteijn, and A.J.C. van Gemund, Fault Diagnosis of Embedded Software using Program Spectra. In Proceedings of the 12th Nederlandse Testdag, ASML, Veldhoven, The Netherlands, November 2006.

Rui Abreu, Extending Amber Tool to Support Static Analysis in Presence of Function Pointers, Philips Research Nat.Lab.Report 2005, Eindhoven, The Netherlands, June, 2005 (confidential document)

R. Abreu and B. Silva, Attack On The Clones, Disciplina de Opcão III, Departamento de Informática, Minho University, Braga, February 2004.

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.