???global.info.a_carregar???
Prof. Rui Maranhão (publishes as Rui Abreu) holds a Ph.D. in Computer Science - Software Engineering from the Delft University of Technology, The Netherlands, and a M.Sc. in Computer and Systems Engineering from the University of Minho, Portugal. His research revolves around software quality, with emphasis in automating the testing and debugging phases of the software development life-cycle as well as self-adaptation. Dr. Abreu has extensive expertise in both static and dynamic analysis algorithms for improving software quality. He is the recipient of 6 Best Paper Awards, including a Distinguished Paper Award at ESEC/FSE 2019, and his work has attracted considerable attention. Before joining FEUP as a Full Professor, he was an Associate Professor at IST, ULisbon and a member of the Model-Based Reasoning group at PARC’s System and Sciences Laboratory and an Assistant Professor at the University of Porto. He has co-founded DashDash in January 2017, a platform to create web apps using only spreadsheet skills. The company has secured $9M in Series A funding in May 2018. He was a Visting Researcher at Google NYC between 2019 and 2020, working on building systems and tools to increase the security of C/C++ codebases. twitter: @rmaranhao website: http://www.ruimaranhao.com
Read full resume ↓
Identification

Personal identification

Full name
Rui Abreu

Citation names

  • Abreu, Rui

Author identifiers

Ciência ID
BC17-C073-0077
ORCID iD
0000-0003-3734-3157
Google Scholar ID
x25BFgEAAAAJ
Researcher Id
A-8119-2015
Scopus Author Id
16479696600

Email addresses

  • rui.maranhao@tecnico.ulisboa.pt (Professional)
  • rma@fe.up.pt (Professional)

Telephones

Telephone
  • 218417000 (Professional)

Addresses

  • Instituto Superior Técnico, Universidade de Lisboa. Av. Rovisco Pais 1, 1049-001, Lisboa, Lisboa, Portugal (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Dutch Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
French Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
Chinese Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Spanish; Castilian Intermediate (B1) Advanced (C1) Intermediate (B1) Advanced (C1)
Education
Degree Classification
2019/04/15 - 2019/04/16
Concluded
 Measuring and Improving Software Fault Diagnosis (Título de Habilitação de Coordenação Científica)
Major in Prova de Agregação em Engenharia Informática e de Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Aprovado
2005 - 2009
Concluded
 Ciência de Computadores (Doutoramento)
Technische Universiteit Delft, Netherlands
"Spectrum-based Fault Localization of Embedded Software" (THESIS/DISSERTATION)
 N/A
2008 - 2008
Concluded
 Cambridge English: Proficiency (CPE) (Outros)
University of Cambridge, United Kingdom
1999 - 2004
Concluded
 Engenharia de Sistemas e Informática (Mestrado)
Major in Specialization in Information Technologies
Universidade do Minho, Portugal
"ASN.1 Encoder/Decoder Generator" (THESIS/DISSERTATION)
 15
Affiliation

Science

Category
Host institution 		Employer
2017/02 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/10 - 2017/02 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2005/08 - 2009/08 Auxiliary Researcher (Research) Technische Universiteit Delft, Netherlands
2004/11 - 2005/06 Research Trainee (Research) Philips Research, Netherlands

Teaching in Higher Education

Category
Host institution 		Employer
2020/08/01 - Current Full Professor (University Teacher) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
2017/02/15 - 2020/06/30 Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09/15 - 2017/02/14 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal

Others

Category
Host institution 		Employer
2010/09/01 - 2011/01/01 Visiting Faculty Member Carnegie Mellon University, United States
2004/03 - 2004/10 Estagiário (Técnica) Siemens S.A., Portugal
Projects

Grant

Designation Funders
2018/09/01 - Current FaultLocker - FaultLocker: FAULT LOCalization and repair toolKit for dEpendable softwaRe
PTDC/CCI-COM/29300/2017
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Ongoing
2016/04/01 - Current GreenSoftwareLab: Towards an Engineering Discipline for Green Software
P2020-PTDC/EEI-ESS/5341/2014
Research Fellow
Universidade do Minho, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade da Beira Interior, Portugal

Universidade Nova de Lisboa, Portugal
Ongoing
2015/09 - Current ANTAREX - AutoTuning and Adaptivity approach for Energy efficient eXascale HPC systems
671623
Research Fellow
Politecnico di Milano, Italy

Universidade do Porto, Portugal

Inria Centre de Recherche Rennes Bretagne Atlantique, France

Cineca, Italy
Ongoing
2015/07 - Current ADAPT - A Diagnostics Approach for Persistent Threat Detection
FA8650-15-C-7557
Research Fellow
Galois Inc, United States

Palo Alto Research Center Incorporated, United States

Oregon State University, United States
Ongoing
2020/11 - 2021/10 SecurityAware: Fine-grained approach to detect and patch vulnerabilities
CMU/TIC/0064/2019
 Fundação para a Ciência e a Tecnologia

Other

Designation Funders
2012/04 - Current AutoSeer - Automatic generation of Test Oracles for Software Error Detection
PTDC/EIA-CCO/116796/2010
Principal investigator
Universidade do Porto, Portugal
Ongoing
2012/04 - Current PGBT: Pattern Based GUI Testing
PTDC/EIA-EIA/119479/2010
Researcher
Universidade do Porto, Portugal

Universidade do Minho, Portugal
Ongoing
2011/08 - Current CSR: Small: Architecture-based Run-time Fault Diagnosis
NSF Award OMA-0836012
Principal investigator
Universidade do Porto, Portugal

Carnegie Mellon University, United States
National Science Foundation
Ongoing
2010/05 - Current SSaaPP: SpreadSheets as a Programming Paradigm
PTDC/EIA-CCO/108613/2008
Researcher
Universidade do Porto, Portugal

Universidade do Minho, Portugal

Software Improvement Group, Netherlands
Ongoing
2005/08 - 2009/08 TRADER: Television Related Architecture to Design and Enhance Reliability
BSIK03021
PhD Student Fellow
Technische Universiteit Delft, Netherlands

Technische Universiteit Eindhoven, Netherlands

Philips Research, Netherlands

Universiteit Leiden, Netherlands

Interuniversity Microelectronics Centre, Belgium

Universiteit Twente, Netherlands
Concluded
Outputs

Publications

Book chapter
  1. Abreu, Rui. "Model-Based Software Debugging". 365-387. Springer, 2019.
    10.1007/978-3-030-17728-7_15
  2. Gonzalez-Sanchez, Alberto; Piel, Éric; Abreu, Rui; Gross, Hans-Gerhard; Gemund, Arjan J. C.. "Prioritizing Tests for Fault Localization". In Situation Awareness with Systems of Systems, 247-257. New York, NY: Springer New York, 2013.
    Published • 10.1007/978-1-4614-6230-9_15
  3. Hofer, Birgit; Riboira, André; Wotawa, Franz; Abreu, Rui; Getzner, Elisabeth. "On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets". In Fundamental Approaches to Software Engineering, 68-82. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
    Published • 10.1007/978-3-642-37057-1_6
  4. Cardoso, Nuno; Abreu, Rui. "A Distributed Approach to Diagnosis Candidate Generation". In Progress in Artificial Intelligence, 175-186. Berlin, Heidelberg, Portugal: Springer Berlin Heidelberg, 2013.
    Published • 10.1007/978-3-642-40669-0_16
  5. Cardoso, Nuno; Abreu, Rui. "MHS2: A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm". In Multicore Software Engineering, Performance, and Tools, 25-36. Berlin, Heidelberg, Russia: Springer Berlin Heidelberg, 2013.
    Published • 10.1007/978-3-642-39955-8_3
  6. Santos, João; Abreu, Rui. "Lightweight Automatic Error Detection by Monitoring Collar Variables". In Testing Software and Systems, 215-230. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
    Published • 10.1007/978-3-642-34691-0_16
  7. Andrés, César; Abreu, Rui; Núñez, Alberto. "OCE: An Online Colaborative Editor". In Computational Collective Intelligence. Technologies and Applications, 89-98. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
    Published • 10.1007/978-3-642-34707-8_10
  8. Abreu, Rui; Gonzalez-Sanchez, Alberto; Gemund, Arjan J. C.. "A Diagnostic Reasoning Approach to Defect Prediction". In Modern Approaches in Applied Intelligence, 416-425. Berlin, Heidelberg, United States: Springer Berlin Heidelberg, 2011.
    Published • 10.1007/978-3-642-21827-9_43
  9. Casanova, Paulo; Schmerl, Bradley; Garlan, David; Abreu, Rui. "Architecture-Based Run-Time Fault Diagnosis". In Software Architecture, 261-277. Berlin, Heidelberg, Germany: Springer Berlin Heidelberg, 2011.
    Published • 10.1007/978-3-642-23798-0_29
  10. Abreu, Rui; González, Alberto; Zoeteweij, Peter; Gemund, Arjan J. C.. "Using Fault Screeners for Software Error Detection". In Evaluation of Novel Approaches to Software Engineering, 60-74. Berlin, Heidelberg, Taiwan: Springer Berlin Heidelberg, 2010.
    Published • 10.1007/978-3-642-14819-4_5
  11. Riboira, André; Abreu, Rui. "The GZoltar Project: A Graphical Debugger Interface". In Testing – Practice and Research Techniques, 215-218. Berlin, Heidelberg, United Kingdom: Springer Berlin Heidelberg, 2010.
    Published • 10.1007/978-3-642-15585-7_25
  12. Abreu, Rui Filipe Lima Maranhão de; Zoeteweij, Peter; Gemund, Arjan J. C.. "Fault Localization in Embedded Software". In TRADER: Reliability of High-Volume Consumer Products, 1-200. Eindhoven, Netherlands: Embedded Systems Institute, 2009.
    Published
  13. Zoeteweij, Peter; Abreu, Rui Filipe Lima Maranhão de; van Gemund, Arjan J.C.; Koca, Feyzullah; Sözer, Hasan; Abreu, Rui. "Spectrum-Based Fault Localization in Practice". In TRADER: Reliability of High-Volume Consumer Products, 1-200. Eindhoven, Netherlands: Embedded Systems Institute, 2009.
    Published • 10.1007/978-3-642-41707-8_16
  14. Abreu, Rui; Zoeteweij, Peter; Gemund, Arjan J. C.. "A Model-Based Software Reasoning Approach to Software Debugging". In Opportunities and Challenges for Next-Generation Applied Intelligence, 233-239. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
    Published • 10.1007/978-3-540-92814-0_36
Conference paper
  1. Abreu, Rui. "SmartBugs: A Framework to Analyze Solidity Smart Contracts". 2020.
    10.1145/3324884.3415298
  2. Abreu, Rui. "Diagnosing Software Faults Using Multiverse Analysis". 2020.
    10.24963/ijcai.2020/226
  3. Abreu, Rui. "Empirical review of automated analysis tools on 47,587 Ethereum smart contracts". 2020.
    10.1145/3377811.3380364
  4. Abreu, Rui. "Empirical Study of Restarted and Flaky Builds on Travis CI". 2020.
    10.1145/3379597.3387460
  5. Abreu, Rui. "Visual Sketching: From Image Sketches to Code". 2020.
    10.1145/3377816.3381745
  6. Abreu, Rui. "Pangolin: an SFL-based toolset for feature localization". 2019.
    10.1109/ASE.2019.00119
  7. Abreu, Rui. "EMaaS: Energy measurements as a service for mobile applications". 2019.
    10.1109/ICSE-NIER.2019.00034
  8. Abreu, Rui. "An empirical study on the use of defect prediction for test case prioritization". 2019.
    10.1109/ICST.2019.00041
  9. Abreu, Rui. "Do Energy-oriented Changes Hinder Maintainability?". 2019.
    10.1109/ICSME.2019.00013
  10. Abreu, Rui. "MOTSD: a multi-objective test selection tool using test suite diagnosability". 2019.
    10.1145/3338906.3341187
  11. Abreu, Rui. "An analysis of 35+ million jobs of travis ci". 2019.
    10.1109/icsme.2019.00044
  12. Abreu, Rui. "Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization.". 2019.
    10.24963/ijcai.2019/661
  13. Abreu, Rui. "A qualitative reasoning approach to spectrum-based fault localization". 2018.
    10.1145/3183440.3195015
  14. Abreu, Rui. "Leveraging Qualitative Reasoning to Improve SFL.". 2018.
    10.24963/ijcai.2018/267
  15. Abreu, Rui. "QR-Augmented Spectrum-based Fault Localization.". 2018.
  16. Abreu, Rui. "Lightweight source code monitoring with Triggr". 2018.
    10.1145/3238147.3240486
  17. Abreu, Rui. "Using Automatic Refactoring to Improve Energy Efficiency of Android Apps". 2018.
  18. Abreu, Rui. "Poster: Measuring the Energy Footprint of Mobile Testing Frameworks". 2018.
  19. Abreu, Rui. "Evaluating and Improving Fault Localization". 2017.
    10.1109/ICSE.2017.62
  20. Abreu, Rui. "Leafactor: Improving energy efficiency of android apps via automatic refactoring". 2017.
    10.1109/MOBILESoft.2017.21
  21. Abreu, Rui. "Performance-based guidelines for energy efficient mobile applications". 2017.
    10.1109/MOBILESoft.2017.19
  22. Abreu, Rui. "Prevalence of single-fault fixes and its impact on fault localization". 2017.
    10.1109/ICST.2017.9
  23. Abreu, Rui. "SECBENCH: A Database of Real Security Vulnerabilities.". 2017.
  24. Abreu, Rui. "Revisiting the practical use of automated software fault localization techniques". 2017.
    10.1109/ISSREW.2017.68
  25. Abreu, Rui. "A test-suite diagnosability metric for spectrum-based fault localization approaches". 2017.
    10.1109/ICSE.2017.66
  26. Abreu, Rui. "Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017". 2017.
  27. Abreu, Rui. "A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory". 2016.
    10.1007/978-3-319-54876-0_14
  28. Abreu, Rui. "The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems". 2016.
    10.1145/2903150.2903470
  29. Abreu, Rui. "A Framework for Automatic Debugging of Functional and Degradation Failures". 2016.
    10.3233/978-1-61499-672-9-569
  30. Abreu, Rui. "Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016". 2016.
    10.1145/2903150
  31. Abreu, Rui. "ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)". 2016.
  32. Abreu, Rui. "Classifying heart sound recordings using deep convolutional neural networks and mel-frequency cepstral coefficients". 2016.
  33. Abreu, Rui. "Continuous Test Generation on Guava". 2015.
    10.1007/978-3-319-22183-0_16
  34. Abreu, Rui. "Towards a mobile and wearable system for predicting panic attacks". 2015.
    10.1145/2750858.2805834
  35. Abreu, Rui. "CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts". 2015.
    10.1109/ICSE.2015.192
  36. Abreu, Rui. "Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach". 2015.
    10.1007/978-3-319-25945-1_8
  37. Abreu, Rui. "A wearable and mobile intervention delivery system for individuals with panic disorder". 2015.
    10.1145/2836041.2836058
  38. Abreu, Rui. "Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings". 2015.
    10.1007/978-3-319-22183-0
  39. Abreu, Rui. "Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings". 2015.
    10.1007/978-3-319-25945-1
  40. Abreu, Rui. "13th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013, Porto, Portugal, October 21-23, 2015". 2015.
    10.1109/EUC35889.2015
  41. Abreu, Rui. "A Comparative Study of Regression and Classification Algorithms for Modelling Students' Academic Performance". 2015.
  42. Abreu, Rui. "Diagnosing Advanced Persistent Threats: A Position Paper". 2015.
  43. Abreu, Rui. "Device Health Estimation by Combining Contextual Control Information with Sensor Data". 2015.
  44. Abreu, Rui. "Spectrum-Based Fault Localisation for Multi-Agent Systems". 2015.
  45. Abreu, Rui. "Continuous test generation: enhancing continuous integration with automated test generation". 2014.
    10.1145/2642937.2643002
  46. Abreu, Rui. "Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014)". 2014.
    10.1109/QUATIC.2014.53
  47. Abreu, Rui. "FaultySheet Detective: When Smells Meet Fault Localization". 2014.
    10.1109/ICSME.2014.111
  48. Abreu, Rui. "A diagnosis-based approach to software comprehension". 2014.
    10.1145/2597008.2597151
  49. Abreu, Rui. "22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014". 2014.
    10.1145/2597008
  50. Abreu, Rui. "Diagnosing unobserved components in self-adaptive systems". 2014.
    10.1145/2593929.2593946
  51. Abreu, Rui. "Smelling Faults in Spreadsheets". 2014.
    10.1109/ICSME.2014.33
  52. Abreu, Rui. "Generation of Relevant Spreadsheet Repair Candidates". 2014.
    10.3233/978-1-61499-419-0-1027
  53. Abreu, Rui. "An efficient distributed algorithm for computing minimal hitting sets". 2014.
  54. Abreu, Rui. "ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014". 2014.
  55. Abreu, Rui. "30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014". 2014.
  56. Abreu, Rui. "9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014". 2014.
  57. Abreu, Rui. "ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)". 2014.
  58. Abreu, Rui. "Automatic systems diagnosis without behavioral models". 2014.
    10.1109/AERO.2014.6836252
  59. Abreu, Rui. "On modeling and testing components of the European Train Control System". 2014.
  60. Cardoso, Nuno; Abreu, Rui. "A Kernel Density Estimate-Based Approach to Component Goodness Modeling". Paper presented in Twenty-Seventh AAAI Conference on Artificial Intelligence, Bellevue, WA, USA, 2013.
    Published
  61. Steimann, Friedrich; Frenkel, Marcus; Abreu, Rui. "Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators". Paper presented in the 2013 International Symposium, Lugano, Switzerland, 2013.
    Published • 10.1145/2483760.2483767
  62. Campos, Jose; Abreu, Rui. "Leveraging a Constraint Solver for Minimizing Test Suites". Paper presented in 2013 13th International Conference on Quality Software (QSIC), Najing, China, 2013.
    Published • 10.1109/QSIC.2013.17
  63. Gouveia, Carlos; Campos, Jose; Abreu, Rui. "Using HTML5 visualizations in software fault localization". Paper presented in 2013 First IEEE Working Conference on Software Visualization (VISSOFT), Eindhoven, Netherlands, 2013.
    Published • 10.1109/VISSOFT.2013.6650539
  64. Machado, Pedro; Campos, José; Abreu, Rui. "MZoltar: automatic debugging of Android applications". Paper presented in the 2013 International Workshop, Saint Petersburg, Russia, 2013.
    Published • 10.1145/2501553.2501556
  65. Abreu, Rui; Abreu, Rui. "Interoperability in Ambient Assisted Living Using OpenEHR". Paper presented in 15th IEEE International Conference on e-Health Networking, Application and Services (IEEE HEALTHCOM 2013), Lisboa, 2013.
    Published • 10.1109/HealthCom.2013.6720707
  66. Campos, Jose; Abreu, Rui. "Encoding Test Requirements as Constraints for Test Suite Minimization". Paper presented in 2013 Tenth International Conference on Information Technology: New Generations (ITNG), Las Vegas, NV, USA, 2013.
    Published • 10.1109/ITNG.2013.51
  67. Abreu, Rui. "Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings". 2013.
    10.1007/978-3-642-39955-8
  68. Abreu, Rui. "Entropy-based test generation for improved fault localization". 2013.
    10.1109/ASE.2013.6693085
  69. Abreu, Rui. "Progress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings". 2013.
    10.1007/978-3-642-40669-0
  70. Abreu, Rui. "Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings". 2013.
    10.1007/978-3-642-37057-1
  71. Abreu, Rui. "Diagnosing architectural run-time failures". 2013.
    10.1109/SEAMS.2013.6595497
  72. Abreu, Rui. "Cues for scent intensification in debugging". 2013.
    10.1109/ISSREW.2013.6688890
  73. Abreu, Rui. "International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013". 2013.
    10.1145/2483760
  74. Abreu, Rui. "A Kernel Density Estimate-Based Approach to Component Goodness Modeling". 2013.
  75. Abreu, Rui. "Gzoltar: A toolset for automatic test suite minimization and fault identification". 2013.
  76. Santos, João; Abreu, Rui. "Lightweight Approach to Automatic Error Detection Using Program Invariants". Paper presented in 5th Meeting of Young Researchers at UP (IJUP), Porto, 2012.
  77. Cardoso, Nuno; Abreu, Rui. "Towards Using Automatic Development-time Debugging Techniques on Run-time Systems". Paper presented in 7th Doctoral Symposium on Informatics Engineering, Porto, 2012.
  78. Cardoso, Nuno; Abreu, Rui. "Self-Healing on the Cloud: State-of-the-Art and Future Challenges". Paper presented in 2012 Eighth International Conference on the Quality of Information and Communications Technology (QUATIC), Lisbon, Portugal, 2012.
    Published • 10.1109/QUATIC.2012.54
  79. Campos, José; Riboira, André; Perez, Alexandre; Abreu, Rui. "GZoltar: an eclipse plug-in for testing and debugging". Paper presented in the 27th IEEE/ACM International Conference, Essen, Germany, 2012.
    Published • 10.1145/2351676.2351752
  80. Abreu, Rui; Riboira, Andre; Wotawa, Franz. "Debugging Spreadsheets: A CSP-based Approach". Paper presented in 2012 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Dallas, TX, USA, 2012.
    Published • 10.1109/ISSREW.2012.31
  81. Perez, Alexandre; Riboira, Andre; Abreu, Rui. "A Topology-Based Model for Estimating the Diagnostic Efficiency of Statistics-Based Approaches". Paper presented in 2012 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Dallas, TX, USA, 2012.
    Published • 10.1109/ISSREW.2012.15
  82. Abreu, Rui. "Computational Collective Intelligence. Technologies and Applications - 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part II". 2012.
    10.1007/978-3-642-34707-8
  83. Abreu, Rui. "8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings". 2012.
  84. Abreu, Rui. "Online spectrum-based fault localization for health monitoring and fault recovery of self-adaptive systems". 2012.
  85. Gonzalez-Sanchez, Alberto; Abreu, Rui; Gross, Hans-Gerhard; van Gemund, Arjan J. C.. "An empirical study on the usage of testability information to fault localization in software". Paper presented in 2011 ACM Symposium on Applied Computing - SAC '11, TaiChung, Taiwan, 2011.
    Published • 10.1145/1982185.1982489
  86. Gonzalez-Sanchez, Alberto; Abreu, Rui; Gross, Hans-Gerhard; van Gemund, Arjan J.C.. "Prioritizing tests for fault localization through ambiguity group reduction". Paper presented in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lawrence, KS, USA, 2011.
    Published • 10.1109/ASE.2011.6100153
  87. Gupta, Shekhar; van Gemund, Arjan J.C.; Abreu, Rui. "Probabilistic Error Propagation Modeling in Logic Circuits". Paper presented in 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, 2011.
    Published • 10.1109/ICSTW.2011.40
  88. Riboira, Andre; Abreu, Rui; Rodrigues, Rui. "An OpenGL-based Eclipse Plugin for Visual Debugging". Paper presented in 1st Workshop on Developing Tools as Plug-ins (TOPI2011), Honolulu, 2011.
    Published • 10.1145/1984708.1984729
  89. Riboira, André; Rodrigues, Rui; Abreu, Rui. "Interactive visualizations of automatic debugging reports". Paper presented in V IBERO-AMERICAN SYMPOSIUM IN COMPUTER GRAPHICS, Faro, 2011.
    Published
  90. Gonzalez-Sanchez, Alberto; Abreu, Rui; Gross, Hans-Gerhard; van Gemund, Arjan J.C.. "RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction". Paper presented in 22nd International Workshop on Principles of Diagnosis (DX'11), Murnau, 2011.
    Published
  91. Gupta, Shekhar; van Gemund, Arjan J.C.; Abreu, Rui. "The ANTARES Approach to Automatic Systems Diagnosis". Paper presented in 22nd International Workshop on Principles of Diagnosis (DX'11), Murnau, 2011.
    Published
  92. Poll, Scott; de Kleer, Johan; Abreu, Rui; Diagle, Matthew; Feldman, Alexander; Garcia, David; Gonzalez-Sanchez, Alberto; et al. "Third International Diagnostic Competition – DXC'11". Paper presented in 22nd International Workshop on Principles of Diagnosis (DX'11), Murnau, 2011.
    Published
  93. Gonzalez-Sanchez, Alberto; Abreu, Rui; Gross, Hans-Gerhard; van Gemund, Arjan J.C.; Gonzalez-Sanchez, A.; Abreu, R.; Gross, H.-G.; Van Gemund, A.J.C.. "Spectrum-Based Sequential Diagnosis". Paper presented in Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), San Francisco, 2011.
    Published
  94. Riboira, André; Abreu, Rui; Rodrigues, Rui. "A Visual Debugger for Efficient Software Fault Localization". Paper presented in The 4th Meeting of Young Researchers at UP (IJUP), Porto, 2011.
    Published
  95. Sousa, João; Abreu, Rui; Castro, Rui; Santos, Antonio. "Development of Services and Applications for Set-Top Boxes in Ambient Assisted Living Environments". Paper presented in The 4th Meeting of Young Researchers at UP (IJUP), Porto, 2011.
    Published
  96. Abreu, Rui. "Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011". 2011.
    10.1145/1982185
  97. Abreu, Rui. "Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II". 2011.
    10.1007/978-3-642-21827-9
  98. Abreu, Rui. "Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings". 2011.
    10.1007/978-3-642-23798-0
  99. Abreu, Rui. "26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011". 2011.
  100. Abreu, Rui. "Spectrum-Based Sequential Diagnosis". 2011.
  101. Sözer, Hasan; Abreu, Rui; Aksit, Mehmet; van Gemund, Arjan J.C.. "Increasing System Availability with Local Recovery Based on Fault Localization". Paper presented in 2010 10th International Conference on Quality Software (QSIC), Zhangjiajie, China, 2010.
    Published • 10.1109/QSIC.2010.29
  102. Abreu, Rui; Gonzalez-Sanchez, Alberto; van Gemund, Arjan J. C.. "Exploiting count spectra for Bayesian fault localization". Paper presented in the 6th International Conference, Timişoara, Romania, 2010.
    Published • 10.1145/1868328.1868347
  103. Abreu, Rui. "Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings". 2010.
    10.1007/978-3-642-15585-7
  104. Abreu, Rui. "Prioritizing tests for fault localization". 2010.
    10.1109/QSIC.2010.28
  105. Abreu, Rui; Mayer, Wolfgang; Stumptner, Markus; van Gemund, Arjan J. C.. "Refining spectrum-based fault localization rankings". Paper presented in the 2009 ACM symposium, Honolulu, Hawaii, 2009.
    Published • 10.1145/1529282.1529374
  106. Abreu, Rui; Zoeteweij, Peter; Gemund, Arjan J. C. van. "Localizing Software Faults Simultaneously". Paper presented in 2009 9th International Conference on Quality Software (QSIC), Jeju, Korea (South), 2009.
    Published • 10.1109/QSIC.2009.55
  107. Abreu, Rui; Zoeteweij, Peter; Gemund, Arjan J.C. van. "Spectrum-Based Multiple Fault Localization". Paper presented in 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), Auckland, New Zealand, 2009.
    Published • 10.1109/ASE.2009.25
  108. Janssen, Tom; Abreu, Rui; Gemund, Arjan J.C. van. "Zoltar: A Toolset for Automatic Fault Localization". Paper presented in 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), Auckland, New Zealand, 2009.
    Published • 10.1109/ASE.2009.27
  109. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "A New Bayesian Approach to Multiple Intermittent Fault Diagnosis". Paper presented in 21st International Joint Conference on Artifical Intelligence (IJCAI'09), Pasadena, 2009.
    Published
  110. Abreu, Rui; van Gemund, Arjan J.C.. "A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis". Paper presented in 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09), Lake Arrowhead, 2009.
    Published
  111. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "A Bayesian Approach to Diagnose Multiple Intermittent Faults". Paper presented in 20th International Workshop on Principles of Diagnosis (DX'09), Stockholm, 2009.
    Published
  112. Abreu, Rui; van Gemund, Arjan J.C.. "Statistics-directed Minimal Hitting Set Algorithm". Paper presented in 20th International Workshop on Principles of Diagnosis (DX'09), Stockholm, 2009.
    Published
  113. Abreu, Rui. "A Bayesian Approach to Diagnose Multiple Intermittent Faults". 2009.
  114. Abreu, Rui. "A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis". 2009.
  115. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J. C.. "An observation-based model for fault localization". Paper presented in the 2008 international workshop, Seattle, Washington, 2008.
    Published • 10.1145/1401827.1401841
  116. Zoeteweij, Peter; Pietersma, Jurryt; Abreu, Rui; Feldman, Alexander; Gemund, Arjan J.C. van; van Gemund, Arjan J.C.; Golsteijn, Rob. "Automated Fault Diagnosis in Embedded Systems". Paper presented in 2008 Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI), Yokohama, Japan, 2008.
    Published • 10.1109/SSIRI.2008.48
  117. Abreu, Rui; González, Alberto; Zoeteweij, Peter; van Gemund, Arjan J. C.. "Automatic software fault localization using generic program invariants". Paper presented in the 2008 ACM symposium, Fortaleza, Ceara, Brazil, 2008.
    Published • 10.1145/1363686.1363855
  118. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "A Dynamic Modeling Approach to Software Multiple-Fault Localization". Paper presented in 19th International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, 2008.
    Published
  119. Mayer, Wolfgang; Abreu, Rui; Stumptner, Markus; van Gemund, Arjan J.C.. "Prioritizing Model-Based Debugging Diagnostic Reports". Paper presented in 19th International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, 2008.
    Published
  120. Abreu, Rui; Gonzalez-Sanchez, Alberto; Zoeteweij, Peter; van Gemund, Arjan J.C.; Abreu, R.; González, A.; Zoeteweij, P.; Van Gemund, A.J.C.. "On the Performance of Fault Screeners in Software Development and Deployment". Paper presented in 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), Funchal, 2008.
    Published
  121. Abreu, Rui. "Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008". 2008.
    10.1145/1401827
  122. Abreu, Rui. "A Dynamic Modeling Approach to Software Multiple-Fault Localization". 2008.
    10.1109/QSIC31776.2013
  123. Abreu, Rui. "A Dynamic Modeling Approach to Software Multiple-Fault Localization". 2008.
  124. Zoeteweij, Peter; Abreu, Rui; Golsteijn, Rob; van Gemund, Arjan J.C.. "Diagnosis of Embedded Software Using Program Spectra". Paper presented in 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), Tucson, AZ, USA, 2007.
    Published • 10.1109/ECBS.2007.31
  125. Abreu, Rui; Zoeteweij, Peter; Golsteijn, Rob; van Gemund, Arjan J.C.. "Fault Diagnosis of Embedded Software using Program Spectra". Paper presented in 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), Eindhoven, 2007.
    Published
  126. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "On the Accuracy of Spectrum-based Fault Localization". Paper presented in Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07), Windsor, 2007.
    Published
  127. Zoeteweij, Peter; Abreu, Rui; van Gemund, Arjan J.C.. "Software Fault Diagnosis". Paper presented in Tutorial in the joint tutorial day of the TESTCOM / FATES and FORTE conferences, Tallinn, 2007.
    Published
  128. Abreu, Rui. "Fault Diagnosis of Embedded Software using Program Spectra". 2007.
  129. Abreu, Rui. "Automated fault diagnosis in embedded software". 2007.
  130. Abreu, Rui; Zoeteweij, Peter; Van Gemund, Arjan. "An Evaluation of Similarity Coefficients for Software Fault Localization". Paper presented in 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06), Riverside, CA, USA, 2006.
    Published • 10.1109/PRDC.2006.18
  131. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "Program Spectra Analysis in Embedded Software: A Case Study". Paper presented in 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06), Lommel, 2006.
    Published
  132. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "Fault Diagnosis of Embedded Software using Program Spectra". Paper presented in 12th Nederlandse Testdag, Eindhoven, 2006.
    Published
Journal article
  1. Abreu, Rui. "Multiple fault localization of software programs: A systematic literature review". Information and Software Technology 124 (2020): 106312-106312. https://www.sciencedirect.com/science/article/pii/S0950584920300641.
    10.1016/j.infsof.2020.106312
  2. Abreu, Rui. "Off-the-shelf Components for Quantum Programming and Testing". (2020):
  3. Abreu, Rui. "Exploring Designite for Smell-Based Defect Prediction". (2020):
  4. Abreu, Rui. "Appreciation to Empirical Software Engineering Reviewers of 2018". Empirical Software Engineering 24 (2019): 1-6.
    10.1007/s10664-019-09680-2
  5. Abreu, Rui. "A Theoretical and Empirical Analysis of Program Spectra Diagnosability". IEEE Transactions on Software Engineering (2019):
    10.1109/TSE.2019.2895640
  6. Abreu, Rui. "Catalog of energy patterns for mobile applications". Empirical Software Engineering 24 4 (2019): 2209-2235.
    10.1007/s10664-019-09682-0
  7. Abreu, Rui. "Improving Energy Efficiency Through Automatic Refactoring". Journal of Software Engineering Research and Development 7 (2019): 2-1.
    10.5753/jserd.2019.17
  8. Abreu, Rui. "To the attention of mobile software developers: guess what, test your app!". Empirical Software Engineering 24 4 (2019): 2438-2468.
    10.1007/s10664-019-09701-0
  9. Abreu, Rui. "Critical Review of BugSwarm for Fault Localization and Program Repair". arXiv preprint arXiv:1905.09375 (2019):
  10. Abreu, Rui. "Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts". ESEC/SIGSOFT FSE 2019 (2019): 302-313.
    10.1145/3338906.3338911
  11. Abreu, Rui. "On the energy footprint of mobile testing frameworks". IEEE Transactions on Software Engineering (2019):
    10.1109/TSE.2019.2946163
  12. Abreu, Rui. "GreenSoftwareLab: Towards an Engineering Discipline for Green Software". Impact 2018 1 (2018): 9-11.
    doi: 10.21820/23987073.2018.9
  13. Abreu, Rui. "Welcome Message from the Chairs VVIoT 2018". (2018): 17-17. https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00010.
    10.1109/ICSTW.2018.00010
  14. Abreu, Rui. "Empirical Evaluation of Similarity Coefficients for Multiagent Fault Localization". IEEE Trans. Systems, Man, and Cybernetics: Systems (2017): https://doi.org/10.1109/TSMC.2016.2523905.
    10.1109/TSMC.2016.2523905
  15. Abreu, Rui. "Recognizing abnormal heart sounds using deep learning". arXiv preprint arXiv:1707.04642 (2017):
  16. Abreu, Rui. "2016 Index IEEE Transactions on Software Engineering Vol. 42". IEEE Transactions on Software Engineering 43 1 (2017): 1-1.
    10.1109/TSE.2016.2638761
  17. Abreu, Rui. "A Database of Existing Vulnerabilities to Enable Controlled Testing Studies". International Journal of Secure Software Engineering (IJSSE) 8 3 (2017): 1-23.
    10.4018/IJSSE.2017070101
  18. Abreu, Rui. "Framing program comprehension as fault localization". Journal of Software: Evolution and Process 28 10 (2016): 840-862. http://dx.doi.org/10.1002/smr.1799.
    10.1002/smr.1799
  19. Abreu, Rui. "A Survey on Software Fault Localization". IEEE Trans. Software Eng. 42 8 (2016): 707-740. https://doi.org/10.1109/TSE.2016.2521368.
    10.1109/TSE.2016.2521368
  20. Abreu, Rui. "Narrowing the gap between museums, classrooms and technology: the U. Openlab Initiative Prototype". ICERI 2016 Proceedings (2016):
    10.21125/iceri.2016.2052
  21. Abreu, Rui. "Time, Frequency & Complexity Analysis for Recognizing Panic States from Physiologic Time-Series". (2016):
    10.4108/eai.16-5-2016.2263292
  22. Abreu, Rui. "Applying Simulated Annealing to Problems in Model-based Diagnosis". (2016):
  23. Abreu, Rui. "Provenance Segmentation". 8th Usenix Workshop on the Theory and Practice of Provenance (2016):
  24. Abreu, Rui. "Diagnosing PARC’s Refrigerator Benchmark with Data-Driven Methods". (2016):
  25. Abreu, Rui. "Using constraints to diagnose faulty spreadsheets". Software Quality Journal 23 2 (2015): 297-322. http://dx.doi.org/10.1007/s11219-014-9236-4.
    10.1007/s11219-014-9236-4
  26. Abreu, Rui. "On the empirical evaluation of similarity coefficients for spreadsheets fault localization". Autom. Softw. Eng. 22 1 (2015): 47-74. https://doi.org/10.1007/s10515-014-0145-3.
    10.1007/s10515-014-0145-3
  27. Abreu, Rui. "Fault detection in C programs using monitoring of range values: Preliminary results". arXiv preprint (2015):
  28. Abreu, Rui. "Learning diagnosis models using variable-fidelity component model libraries". IFAC-PapersOnLine 48 21 (2015): 428-433.
    10.1016/j.ifacol.2015.09.564
  29. Abreu, Rui. "A dynamic code coverage approach to maximize fault localization efficiency". Journal of Systems and Software 90 (2014): 18-28. http://dx.doi.org/10.1016/j.jss.2013.12.036.
    10.1016/j.jss.2013.12.036
  30. Riboira, André; Rodrigues, Rui; Abreu, Rui; Campos, José. "Integrating Interactive Visualizations of Automatic Debugging Techniques on an Integrated Development Environment". International Journal of Creative Interfaces and Computer Graphics 3 2 (2013): 42-59.
    Published • 10.4018/jcicg.2012070104
  31. Abreu, Rui. "Combining Smells and Fault Localization in Spreadsheets". (2013):
  32. Abreu, Rui. "Applying Autonomic Diagnosis at Samsung Electronics". (2013):
  33. Hofer, Birgit; Wotawa, Franz; Abreu, Rui. "AI for the win: improving spectrum-based fault localization". ACM SIGSOFT Software Engineering Notes 37 6 (2012): 1-1.
    Published • 10.1145/2382756.2382784
  34. Abreu, R.; Riboira, A.; Wotawa, F.. "Constraint-based debugging of spreadsheets". 15th Ibero-American Conference on Software Engineering, CIbSE 2012 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84886651832&partnerID=MN8TOARS.
  35. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "Simultaneous debugging of software faults". Journal of Systems and Software 84 4 (2011): 573-586.
    Published • 10.1016/j.jss.2010.11.915
  36. Gonzalez-Sanchez, Alberto; Piel, Éric; Abreu, Rui; Gross, Hans-Gerhard; van Gemund, Arjan J. C.. "Prioritizing tests for software fault diagnosis". Software: Practice and Experience 41 10 (2011): 1105-1129.
    Published • 10.1002/spe.1065
  37. Abreu, Rui; van Gemund, Arjan J.C.. "Diagnosing multiple intermittent failures using maximum likelihood estimation". Artificial Intelligence 174 18 (2010): 1481-1497.
    Published • 10.1016/j.artint.2010.09.003
  38. Cunha, M.; Paiva, A.C.R.; Ferreira, H.S.; Abreu, R.; Cunha, Marco; Sereno Ferreira, Hugo; Paiva, Ana; Abreu, Rui. "PETTool: A pattern-based GUI testing tool". ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings 1 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-78650003322&partnerID=MN8TOARS.
    Published • 10.1109/ICSTE.2010.5608882
  39. Abreu, Rui. "A diagnostic approach to test priorization". Technical Report Series TUD-SERG-2010-007 (2010):
  40. Abreu, Rui; Zoeteweij, Peter; Golsteijn, Rob; van Gemund, Arjan J.C.. "A practical evaluation of spectrum-based fault localization". Journal of Systems and Software 82 11 (2009): 1780-1792.
    Published • 10.1016/j.jss.2009.06.035
  41. Abreu, R.; Zoeteweij, P.; Van Gemund, A.J.C.. "A new bayesian approach to multiple intermittent fault diagnosis". IJCAI International Joint Conference on Artificial Intelligence (2009): 653-658. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649766242&partnerID=MN8TOARS.
  42. Janssen, T.; Abreu, R.; Van Gemund, A.J.C.; Janssen, Tom; Abreu, Rui; van Gemund, Arjan J.C.. "Zoltar: A spectrum-based fault localization tool". SINTER'09 - Proceedings of the 2009 ESEC/FSE Workshop on Software Integration and Evolution at Runtime (2009): 23-29. http://www.scopus.com/inward/record.url?eid=2-s2.0-70450260945&partnerID=MN8TOARS.
    Published • 10.1145/1596495.1596502
  43. Abreu, Rui. "A survey of software fault localization". Department of Computer Science, University of Texas at Dallas, Tech. Rep. UTDCS-45 9 (2009):
  44. Abreu, Rui. "Diagnosing intermittent faults". Technical Report Series TUD-SERG-2008-041 (2008):
  45. Abreu, R.; Zoeteweij, P.; Van Gemund, A.J.C.. "On the accuracy of spectrum-based fault localization". Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007 (2007): 89-98. http://www.scopus.com/inward/record.url?eid=2-s2.0-48049116430&partnerID=MN8TOARS.
    10.1109/TAICPART.2007.4344104
Report
  1. Abreu, Rui; Riboira, André; Cardoso, João. 2015. Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results.
  2. Abreu, Rui; Riboira, André. 2013. END: An Approach to Estimate Number of Defects.
  3. Abreu, Rui. 2013. — END — A Lightweight Algorithm to Estimate the Number of Defects in Software.
  4. Abreu, Rui. 2005. Extending Amber Tool to Support Static Analysis in Presence of Function Pointers.
Thesis / Dissertation
  1. Graça, Afonso da Rocha. "Peer to peer multicast overlay for smart content delivery". Master, 2012. http://hdl.handle.net/10216/65632.
  2. Campos, José Carlos de. "Regression testing with GZoltar techniques for test suite minimization, selection, and prioritization". Master, 2012. http://hdl.handle.net/10216/63483.
  3. Santos, João Filipe Rodrigues dos. "Automatic error detection using program invariants for fault localization". Master, 2012. http://hdl.handle.net/10216/65674.
  4. Perez, Alexandre Campos. "Dynamic code coverage with progressive detail levels". Master, 2012. http://hdl.handle.net/10216/65558.
  5. Branco, Hélder Filipe Martins; Barreira, Marcelo Fernando Magalhães. "Autonomic computing : processamento de eventos". Master, 2010. http://hdl.handle.net/10216/57886.
  6. Riboira, André Daniel Moreira Pinto. "GZoltar: A graphical debugger interface". Master, 2010. http://hdl.handle.net/10216/61658.
  7. Castilho. Ricardo Manuel Nascimento. "Reducing screened program points for efficient error detection". Master, 2010. http://hdl.handle.net/10216/59602.
  8. Azevedo, Rui Miguel Ferreira. "Monitorização integrada de aplicações empresariais". Master, 2010. http://hdl.handle.net/10216/58861.
  9. Cunha, André Amarante dos Santos. "An empirical investigation of source code metrics and findbugs warnings". Master, 2010. http://hdl.handle.net/10216/58413.

Other

Other output
  1. Interactive remote patient monitoring and condition management intervention system. 2020. Abreu, Rui.
  2. Device health estimation by combining contextual information with sensor data. 2018. Abreu, Rui.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2011 - Current Regression Testing - Minimization, Selection and Prioritization of test cases within GZoltar
Supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2011 - 2011 GZoltar: A graphical debugger interface
Co-supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2011 - 2011 Development of services and applications for set-top boxes in ambiente assisted living environments
Co-supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2011 - 2011 Applying SFL to logic circuits
Co-supervisor
 Ciência de Computadores (Master)
Technische Universiteit Delft, Netherlands
2011 - 2011 Automatic Debugging of Spreadsheets
Supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Scientific initiation)
Universidade do Porto, Portugal
2010 - 2010 Autonomic computing: Processamento de Eventos
Supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2010 - 2010 Monitorização integrada de aplicações empresariais
Supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2010 - 2010 Autonomic computing: Registo de Eventos
Supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2010 - 2010 Reducing screened program points for efficient error detection
Supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2010 - 2010 An Empirical Investigation of source code metrics and findbugs warnings
Co-supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto, Portugal
2010 - 2010 Bacinol: Bayesian Circuit Analysis by Topology
Co-supervisor
 Ciência de Computadores (Master)
Technische Universiteit Delft, Netherlands
2009 - 2009 Applying SFL Diagnosis to CIG
Co-supervisor
 Ciência de Computadores (Master)
Technische Universiteit Delft, Netherlands
2009 - 2009 Developing an Automatic Debugging Toolset
Co-supervisor
2008 - 2008 Automatic Error Detection Techniques Based on Bloom Filters
Co-supervisor
 Ciência de Computadores (Master)
Technische Universiteit Delft, Netherlands
2007 - 2007 Automatic Error Detection Techniques Based on Dynamic Invariants
Co-supervisor
 Ciência de Computadores (Master)
Technische Universiteit Delft, Netherlands
2007 - 2007 Improving Automatic Software Fault Localization
Co-supervisor
 Ciência de Computadores (Master)
Technische Universiteit Delft, Netherlands

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2011 - 2011 1st International Workshop on Testing & Debugging
Conference (Other)
 IEEE Computer Society, Germany

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2013 Modeling and Verification in Model-based Software Engineering - Application to Embedded Systems Alessndra Bagnato (PhD)
Université Paris Diderot, France
2011 Cost Optimizations in Runtime Testing and Diagnosis Alberto Gonzalez-Sanchez (PhD)
Technische Universiteit Delft, Netherlands

Association member

Society Organization name Role
2005/08 - Current IEEE

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2011 - 2011 Fault Diagnosis of Software Systems Extensão e divulgação científica (Curso médio) TAROT Summer School on Software Testing, Austria
Distinctions

Award

2019 Distinguished Paper Award at the The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’19), Tallinn, Estonia, 2019.
2014 Faculty of Engineering of the University of Porto’s Pedagogical Merit Award
Universidade do Porto, Portugal
2014 Faculty of Engineering of the University of Porto’s Research Merit Award
Universidade do Porto, Portugal

Title

2017 “A Survey on Software Fault Localization” selected to be featured on ACMs 21st Annual Best of Computing (Notable Articles)

Other distinction

2018 Best Paper Award at the XXI Ibero-American Conference on Software Engineering (CiBSE’18)
2016 IEEE Senior Member
IEEE, United States
2015 Appreciation Award for Significant Effort and Contribution to Winning DARPA TC’s ADAPT
2014 Two Best Paper Awards at the 25th International Workshop on Principles of Diagnosis (DX’14)
2014 Second most cited article of the Journal of Systems and Software between 2009 and 2014 (article: "A practical evaluation of spectrum-based fault localization")
2013 Co-author the foreword of the Proceedings of the 24th International Workshop on Principles of Diagnosis (invited by the editors)
2013 Best Paper Award at the 8th Doctoral Symposium in Informatics Engineering (co-authored paper with PhD student), Porto, Portugal
2013 Best Paper Award at 8th International Symposium on Software Engineering for Adaptive and Self- Managing Systems (SEAMS’13), San Francisco, CA, USA, 2013
2012 ACM Transactions on Software Engineering and Methodology’s Distinguished Referee between 2011 and 2012
8th International Conference on Autonomic and Autonomous Systems (ICAS’12), Saint Maarten, Netherlan, Portugal
2012 Winner of the Best Business Ideas - Porto Region Universities with the ”Remote Debugging Service” (organized by Portuguese TV broadcaster SIC Noticias; http://goo.gl/7YtF5)
2012 Winner of the Latin-Iberian RedEmprendia’s Venture Competition with ”Remote Debugging Service” (out of 294 proposals, prize: €10000)
2012 Recipient of the ANETIE’s Venture Competition with ”Remote Debugging Service” (http://www. anetie.pt/website.aspx?p=235)
2012 Best Paper Award at the 8th International Conference on Autonomic and Autonomous Systems (ICAS’12)
2012 Second place in the University of Porto’s Venture Competition with ”Remote Debugging Service” (out of 45 proposals; IUP25k - http://iup25k.up.pt/2012/; prize: €5000)
Universidade do Porto, Portugal
2011 Recipient of the ICSE 2011 Microsoft Research Contest held at the International Conference on Software Engineering, Honolulu, Hawaii, USA
Microsoft Research, United States
2009 Zoltar toolset, developed during his PhD research, awarded the Best Demo Award at the International Conference on Automated Software Engineering
2009 Awarded a postdoctoral scholarship from the Portuguese Foundation for Science and Technology in 2009 (renounced in favor of the professorship at the University of Porto)
Fundação para a Ciência e a Tecnologia, Portugal
2004 Awarded “Erasmus” (2002-2003) and “Leonardo Da Vinci” (2004-2005) European grants
European Union, Belgium
2002 Premio de Merito Escolar
Universidade do Minho, Portugal
1999 Prémio de Mérito Escolar
Universidade do Minho, Portugal