Projects

Current

AutoSeer: Automated Test Oracles for Software Error Detection (PTDC/EIA-CCO/116796/2010), 2012 - 2015.

CSR: Small: Architecture-based Run-time Fault Diagnosis (1116848, NSF Award OMA-0836012), 2011-2014.

PGBT: Pattern Based GUI Testing (PTDC/EIA-EIA/119479/2010), 2011 - 2014.

SSaaPP: SpreadSheets as a Programming Paradigm (PTDC/EIA-CCO/108613/2008), 2010 - 2013.

The Zoltar toolset for automatic debugging and error detection. It has won the best demo award at the ASE'09 conference!

Past

Trader aims at developing methods and tools for ensuring the reliability of consumer electronic products, 2005 - 2009.

FEUP

University of Porto


Selected Publications


A. Gonzalez-Sanchez, R. Abreu, H-G. Gross, and A.J.C. van Gemund, Prioritizing tests for fault localization through ambiguity group reduction. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA.

A. Gonzalez-Sanchez, R. Abreu, H-G. Gross, and A.J.C. van Gemund, Spectrum-Based Sequential Diagnosis. In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), San Francisco, CA, USA.

A. Gonzalez-Sanchez, E. Piel, R. Abreu, H-G. Gross, and A.J.C. van Gemund, Prioritizing Tests for Software Fault Localization. Software: Practice and Experience (SP&E), vol. 41(10), pp. 1105--1129, John Wiley & Son, Ltd.

R. Abreu and A.J.C. van Gemund, Diagnosing Multiple Intermittent Failures Using Maximum Likelihood Estimation. Artificial Intelligence Journal (AIJ), vol. 174(18), pp. 1481--1497, Elsevier, 2010.

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), vol. 82(11), pp. 1780--1792, Elsevier, 2009.

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), pp. 88--99, Auckland, New Zealand, November 2009. IEEE Computer 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, pp. 662--664, Auckland, New Zealand, November 2009. IEEE Computer Society. (Best Demo Award)

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, 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.

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.

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, Spectrum-based Fault Localization in Embedded Software. PhD Thesis, Delft University of Technology, November 2009.

For the full list of publications, check my profile at the Portuguese Science Foundation for Science and Technology's The DeGois CV Platform.