???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
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Rui Abreu

Nomes de citação

  • Abreu, Rui

Identificadores de autor

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

Endereços de correio eletrónico

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

Telefones

Telefone
  • 218417000 (Profissional)

Moradas

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

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Holandês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Chinês Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Espanhol; Castelhano Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C1)
Formação
Grau Classificação
2019/04/15 - 2019/04/16
Concluído
 Measuring and Improving Software Fault Diagnosis (Título de Habilitação de Coordenação Científica)
Especialização em Prova de Agregação em Engenharia Informática e de Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Aprovado
2005 - 2009
Concluído
 Ciência de Computadores (Doutoramento)
Technische Universiteit Delft, Países Baixos
"Spectrum-based Fault Localization of Embedded Software" (TESE/DISSERTAÇÃO)
 N/A
2008 - 2008
Concluído
 Cambridge English: Proficiency (CPE) (Outros)
University of Cambridge, Reino Unido
1999 - 2004
Concluído
 Engenharia de Sistemas e Informática (Mestrado)
Especialização em Specialization in Information Technologies
Universidade do Minho, Portugal
"ASN.1 Encoder/Decoder Generator" (TESE/DISSERTAÇÃO)
 15
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2017/02 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2011/10 - 2017/02 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2005/08 - 2009/08 Investigador Auxiliar (carreira) (Investigação) Technische Universiteit Delft, Países Baixos
2004/11 - 2005/06 Estagiário de Investigação (Investigação) Philips Research, Países Baixos

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/08/01 - Atual Professor Catedrático (Docente Universitário) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
2017/02/15 - 2020/06/30 Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009/09/15 - 2017/02/14 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2010/09/01 - 2011/01/01 Visiting Faculty Member Carnegie Mellon University, Estados Unidos
2004/03 - 2004/10 Estagiário (Técnica) Siemens S.A., Portugal
Projetos

Bolsa

Designação Financiadores
2018/09/01 - Atual FaultLocker - FaultLocker: FAULT LOCalization and repair toolKit for dEpendable softwaRe
PTDC/CCI-COM/29300/2017
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Em curso
2016/04/01 - Atual GreenSoftwareLab: Towards an Engineering Discipline for Green Software
P2020-PTDC/EEI-ESS/5341/2014
Bolseiro de Investigação
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
Em curso
2015/09 - Atual ANTAREX - AutoTuning and Adaptivity approach for Energy efficient eXascale HPC systems
671623
Bolseiro de Investigação
Politecnico di Milano, Itália

Universidade do Porto, Portugal

Inria Centre de Recherche Rennes Bretagne Atlantique, França

Cineca, Itália
Em curso
2015/07 - Atual ADAPT - A Diagnostics Approach for Persistent Threat Detection
FA8650-15-C-7557
Bolseiro de Investigação
Galois Inc, Estados Unidos

Palo Alto Research Center Incorporated, Estados Unidos

Oregon State University, Estados Unidos
Em curso
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

Outro

Designação Financiadores
2012/04 - Atual AutoSeer - Automatic generation of Test Oracles for Software Error Detection
PTDC/EIA-CCO/116796/2010
Investigador responsável
Universidade do Porto, Portugal
Em curso
2012/04 - Atual PGBT: Pattern Based GUI Testing
PTDC/EIA-EIA/119479/2010
Investigador
Universidade do Porto, Portugal

Universidade do Minho, Portugal
Em curso
2011/08 - Atual CSR: Small: Architecture-based Run-time Fault Diagnosis
NSF Award OMA-0836012
Investigador responsável
Universidade do Porto, Portugal

Carnegie Mellon University, Estados Unidos
National Science Foundation
Em curso
2010/05 - Atual SSaaPP: SpreadSheets as a Programming Paradigm
PTDC/EIA-CCO/108613/2008
Investigador
Universidade do Porto, Portugal

Universidade do Minho, Portugal

Software Improvement Group, Países Baixos
Em curso
2005/08 - 2009/08 TRADER: Television Related Architecture to Design and Enhance Reliability
BSIK03021
Bolseiro de Doutoramento
Technische Universiteit Delft, Países Baixos

Technische Universiteit Eindhoven, Países Baixos

Philips Research, Países Baixos

Universiteit Leiden, Países Baixos

Interuniversity Microelectronics Centre, Bélgica

Universiteit Twente, Países Baixos
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em Twenty-Seventh AAAI Conference on Artificial Intelligence, Bellevue, WA, USA, 2013.
    Publicado
  61. Steimann, Friedrich; Frenkel, Marcus; Abreu, Rui. "Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators". Trabalho apresentado em the 2013 International Symposium, Lugano, Switzerland, 2013.
    Publicado • 10.1145/2483760.2483767
  62. Campos, Jose; Abreu, Rui. "Leveraging a Constraint Solver for Minimizing Test Suites". Trabalho apresentado em 2013 13th International Conference on Quality Software (QSIC), Najing, China, 2013.
    Publicado • 10.1109/QSIC.2013.17
  63. Gouveia, Carlos; Campos, Jose; Abreu, Rui. "Using HTML5 visualizations in software fault localization". Trabalho apresentado em 2013 First IEEE Working Conference on Software Visualization (VISSOFT), Eindhoven, Netherlands, 2013.
    Publicado • 10.1109/VISSOFT.2013.6650539
  64. Machado, Pedro; Campos, José; Abreu, Rui. "MZoltar: automatic debugging of Android applications". Trabalho apresentado em the 2013 International Workshop, Saint Petersburg, Russia, 2013.
    Publicado • 10.1145/2501553.2501556
  65. Abreu, Rui; Abreu, Rui. "Interoperability in Ambient Assisted Living Using OpenEHR". Trabalho apresentado em 15th IEEE International Conference on e-Health Networking, Application and Services (IEEE HEALTHCOM 2013), Lisboa, 2013.
    Publicado • 10.1109/HealthCom.2013.6720707
  66. Campos, Jose; Abreu, Rui. "Encoding Test Requirements as Constraints for Test Suite Minimization". Trabalho apresentado em 2013 Tenth International Conference on Information Technology: New Generations (ITNG), Las Vegas, NV, USA, 2013.
    Publicado • 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 2012 Eighth International Conference on the Quality of Information and Communications Technology (QUATIC), Lisbon, Portugal, 2012.
    Publicado • 10.1109/QUATIC.2012.54
  79. Campos, José; Riboira, André; Perez, Alexandre; Abreu, Rui. "GZoltar: an eclipse plug-in for testing and debugging". Trabalho apresentado em the 27th IEEE/ACM International Conference, Essen, Germany, 2012.
    Publicado • 10.1145/2351676.2351752
  80. Abreu, Rui; Riboira, Andre; Wotawa, Franz. "Debugging Spreadsheets: A CSP-based Approach". Trabalho apresentado em 2012 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Dallas, TX, USA, 2012.
    Publicado • 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". Trabalho apresentado em 2012 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Dallas, TX, USA, 2012.
    Publicado • 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". Trabalho apresentado em 2011 ACM Symposium on Applied Computing - SAC '11, TaiChung, Taiwan, 2011.
    Publicado • 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". Trabalho apresentado em 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lawrence, KS, USA, 2011.
    Publicado • 10.1109/ASE.2011.6100153
  87. Gupta, Shekhar; van Gemund, Arjan J.C.; Abreu, Rui. "Probabilistic Error Propagation Modeling in Logic Circuits". Trabalho apresentado em 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, 2011.
    Publicado • 10.1109/ICSTW.2011.40
  88. Riboira, Andre; Abreu, Rui; Rodrigues, Rui. "An OpenGL-based Eclipse Plugin for Visual Debugging". Trabalho apresentado em 1st Workshop on Developing Tools as Plug-ins (TOPI2011), Honolulu, 2011.
    Publicado • 10.1145/1984708.1984729
  89. Riboira, André; Rodrigues, Rui; Abreu, Rui. "Interactive visualizations of automatic debugging reports". Trabalho apresentado em V IBERO-AMERICAN SYMPOSIUM IN COMPUTER GRAPHICS, Faro, 2011.
    Publicado
  90. Gonzalez-Sanchez, Alberto; Abreu, Rui; Gross, Hans-Gerhard; van Gemund, Arjan J.C.. "RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction". Trabalho apresentado em 22nd International Workshop on Principles of Diagnosis (DX'11), Murnau, 2011.
    Publicado
  91. Gupta, Shekhar; van Gemund, Arjan J.C.; Abreu, Rui. "The ANTARES Approach to Automatic Systems Diagnosis". Trabalho apresentado em 22nd International Workshop on Principles of Diagnosis (DX'11), Murnau, 2011.
    Publicado
  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". Trabalho apresentado em 22nd International Workshop on Principles of Diagnosis (DX'11), Murnau, 2011.
    Publicado
  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". Trabalho apresentado em Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), San Francisco, 2011.
    Publicado
  94. Riboira, André; Abreu, Rui; Rodrigues, Rui. "A Visual Debugger for Efficient Software Fault Localization". Trabalho apresentado em The 4th Meeting of Young Researchers at UP (IJUP), Porto, 2011.
    Publicado
  95. Sousa, João; Abreu, Rui; Castro, Rui; Santos, Antonio. "Development of Services and Applications for Set-Top Boxes in Ambient Assisted Living Environments". Trabalho apresentado em The 4th Meeting of Young Researchers at UP (IJUP), Porto, 2011.
    Publicado
  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". Trabalho apresentado em 2010 10th International Conference on Quality Software (QSIC), Zhangjiajie, China, 2010.
    Publicado • 10.1109/QSIC.2010.29
  102. Abreu, Rui; Gonzalez-Sanchez, Alberto; van Gemund, Arjan J. C.. "Exploiting count spectra for Bayesian fault localization". Trabalho apresentado em the 6th International Conference, Timişoara, Romania, 2010.
    Publicado • 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". Trabalho apresentado em the 2009 ACM symposium, Honolulu, Hawaii, 2009.
    Publicado • 10.1145/1529282.1529374
  106. Abreu, Rui; Zoeteweij, Peter; Gemund, Arjan J. C. van. "Localizing Software Faults Simultaneously". Trabalho apresentado em 2009 9th International Conference on Quality Software (QSIC), Jeju, Korea (South), 2009.
    Publicado • 10.1109/QSIC.2009.55
  107. Abreu, Rui; Zoeteweij, Peter; Gemund, Arjan J.C. van. "Spectrum-Based Multiple Fault Localization". Trabalho apresentado em 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), Auckland, New Zealand, 2009.
    Publicado • 10.1109/ASE.2009.25
  108. Janssen, Tom; Abreu, Rui; Gemund, Arjan J.C. van. "Zoltar: A Toolset for Automatic Fault Localization". Trabalho apresentado em 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), Auckland, New Zealand, 2009.
    Publicado • 10.1109/ASE.2009.27
  109. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "A New Bayesian Approach to Multiple Intermittent Fault Diagnosis". Trabalho apresentado em 21st International Joint Conference on Artifical Intelligence (IJCAI'09), Pasadena, 2009.
    Publicado
  110. Abreu, Rui; van Gemund, Arjan J.C.. "A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis". Trabalho apresentado em 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09), Lake Arrowhead, 2009.
    Publicado
  111. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "A Bayesian Approach to Diagnose Multiple Intermittent Faults". Trabalho apresentado em 20th International Workshop on Principles of Diagnosis (DX'09), Stockholm, 2009.
    Publicado
  112. Abreu, Rui; van Gemund, Arjan J.C.. "Statistics-directed Minimal Hitting Set Algorithm". Trabalho apresentado em 20th International Workshop on Principles of Diagnosis (DX'09), Stockholm, 2009.
    Publicado
  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". Trabalho apresentado em the 2008 international workshop, Seattle, Washington, 2008.
    Publicado • 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". Trabalho apresentado em 2008 Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI), Yokohama, Japan, 2008.
    Publicado • 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". Trabalho apresentado em the 2008 ACM symposium, Fortaleza, Ceara, Brazil, 2008.
    Publicado • 10.1145/1363686.1363855
  118. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "A Dynamic Modeling Approach to Software Multiple-Fault Localization". Trabalho apresentado em 19th International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, 2008.
    Publicado
  119. Mayer, Wolfgang; Abreu, Rui; Stumptner, Markus; van Gemund, Arjan J.C.. "Prioritizing Model-Based Debugging Diagnostic Reports". Trabalho apresentado em 19th International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, 2008.
    Publicado
  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". Trabalho apresentado em 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), Funchal, 2008.
    Publicado
  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". Trabalho apresentado em 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), Tucson, AZ, USA, 2007.
    Publicado • 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". Trabalho apresentado em 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), Eindhoven, 2007.
    Publicado
  126. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "On the Accuracy of Spectrum-based Fault Localization". Trabalho apresentado em Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07), Windsor, 2007.
    Publicado
  127. Zoeteweij, Peter; Abreu, Rui; van Gemund, Arjan J.C.. "Software Fault Diagnosis". Trabalho apresentado em Tutorial in the joint tutorial day of the TESTCOM / FATES and FORTE conferences, Tallinn, 2007.
    Publicado
  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". Trabalho apresentado em 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06), Riverside, CA, USA, 2006.
    Publicado • 10.1109/PRDC.2006.18
  131. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "Program Spectra Analysis in Embedded Software: A Case Study". Trabalho apresentado em 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06), Lommel, 2006.
    Publicado
  132. Abreu, Rui; Zoeteweij, Peter; van Gemund, Arjan J.C.. "Fault Diagnosis of Embedded Software using Program Spectra". Trabalho apresentado em 12th Nederlandse Testdag, Eindhoven, 2006.
    Publicado
Artigo em revista
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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
Capítulo de livro
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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, Rússia: Springer Berlin Heidelberg, 2013.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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, Estados Unidos: Springer Berlin Heidelberg, 2011.
    Publicado • 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, Alemanha: Springer Berlin Heidelberg, 2011.
    Publicado • 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.
    Publicado • 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, Reino Unido: Springer Berlin Heidelberg, 2010.
    Publicado • 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, Países Baixos: Embedded Systems Institute, 2009.
    Publicado
  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, Países Baixos: Embedded Systems Institute, 2009.
    Publicado • 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.
    Publicado • 10.1007/978-3-540-92814-0_36
Relatório
  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.
Tese / Dissertação
  1. Graça, Afonso da Rocha. "Peer to peer multicast overlay for smart content delivery". Mestrado, 2012. http://hdl.handle.net/10216/65632.
  2. Campos, José Carlos de. "Regression testing with GZoltar techniques for test suite minimization, selection, and prioritization". Mestrado, 2012. http://hdl.handle.net/10216/63483.
  3. Santos, João Filipe Rodrigues dos. "Automatic error detection using program invariants for fault localization". Mestrado, 2012. http://hdl.handle.net/10216/65674.
  4. Perez, Alexandre Campos. "Dynamic code coverage with progressive detail levels". Mestrado, 2012. http://hdl.handle.net/10216/65558.
  5. Branco, Hélder Filipe Martins; Barreira, Marcelo Fernando Magalhães. "Autonomic computing : processamento de eventos". Mestrado, 2010. http://hdl.handle.net/10216/57886.
  6. Riboira, André Daniel Moreira Pinto. "GZoltar: A graphical debugger interface". Mestrado, 2010. http://hdl.handle.net/10216/61658.
  7. Castilho. Ricardo Manuel Nascimento. "Reducing screened program points for efficient error detection". Mestrado, 2010. http://hdl.handle.net/10216/59602.
  8. Azevedo, Rui Miguel Ferreira. "Monitorização integrada de aplicações empresariais". Mestrado, 2010. http://hdl.handle.net/10216/58861.
  9. Cunha, André Amarante dos Santos. "An empirical investigation of source code metrics and findbugs warnings". Mestrado, 2010. http://hdl.handle.net/10216/58413.

Outros

Outra produção
  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.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2011 - Atual Regression Testing - Minimization, Selection and Prioritization of test cases within GZoltar
Orientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2011 - 2011 GZoltar: A graphical debugger interface
Coorientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2011 - 2011 Development of services and applications for set-top boxes in ambiente assisted living environments
Coorientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2011 - 2011 Applying SFL to logic circuits
Coorientador
 Ciência de Computadores (Mestrado)
Technische Universiteit Delft, Países Baixos
2011 - 2011 Automatic Debugging of Spreadsheets
Orientador
 Mestrado Integrado em Engenharia Informática e Computação (Iniciação científica)
Universidade do Porto, Portugal
2010 - 2010 Autonomic computing: Processamento de Eventos
Orientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2010 - 2010 Monitorização integrada de aplicações empresariais
Orientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2010 - 2010 Autonomic computing: Registo de Eventos
Orientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2010 - 2010 Reducing screened program points for efficient error detection
Orientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2010 - 2010 An Empirical Investigation of source code metrics and findbugs warnings
Coorientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto, Portugal
2010 - 2010 Bacinol: Bayesian Circuit Analysis by Topology
Coorientador
 Ciência de Computadores (Mestrado)
Technische Universiteit Delft, Países Baixos
2009 - 2009 Applying SFL Diagnosis to CIG
Coorientador
 Ciência de Computadores (Mestrado)
Technische Universiteit Delft, Países Baixos
2009 - 2009 Developing an Automatic Debugging Toolset
Coorientador
2008 - 2008 Automatic Error Detection Techniques Based on Bloom Filters
Coorientador
 Ciência de Computadores (Mestrado)
Technische Universiteit Delft, Países Baixos
2007 - 2007 Automatic Error Detection Techniques Based on Dynamic Invariants
Coorientador
 Ciência de Computadores (Mestrado)
Technische Universiteit Delft, Países Baixos
2007 - 2007 Improving Automatic Software Fault Localization
Coorientador
 Ciência de Computadores (Mestrado)
Technische Universiteit Delft, Países Baixos

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2011 - 2011 1st International Workshop on Testing & Debugging
Conferência (Outra)
 IEEE Computer Society, Alemanha

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2013 Modeling and Verification in Model-based Software Engineering - Application to Embedded Systems Alessndra Bagnato (Doutoramento)
Université Paris Diderot, França
2011 Cost Optimizations in Runtime Testing and Diagnosis Alberto Gonzalez-Sanchez (Doutoramento)
Technische Universiteit Delft, Países Baixos

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2011 - 2011 Fault Diagnosis of Software Systems Extensão e divulgação científica (Curso médio) TAROT Summer School on Software Testing, Áustria

Membro de associação

Nome da associação Tipo de participação
2005/08 - Atual IEEE
Distinções

Prémio

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

Título

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

Outra distinção

2018 Best Paper Award at the XXI Ibero-American Conference on Software Engineering (CiBSE’18)
2016 IEEE Senior Member
IEEE, Estados Unidos
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, Estados Unidos
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, Bélgica
2002 Premio de Merito Escolar
Universidade do Minho, Portugal
1999 Prémio de Mérito Escolar
Universidade do Minho, Portugal