Rui Abreu 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2023

Augmenting Automated Spectrum Based Fault Localization for Multiple FaultsPrantik Chatterjee, José Campos, Rui Abreu 0001, Subhajit Roy 0001. IJCAI 2023: 3140-3148 [doi]

Case Studies of Development of Verified Programs with Dafny for Accessibility AssessmentJoão Pascoal Faria, Rui Abreu 0001. fsen 2023: 25-39 [doi]

Spectrum-based feature localization for families of systemsGabriela Karoline Michelon, Jabier Martinez, Bruno Sotto-Mayor, Aitor Arrieta, Wesley K. G. Assunção, Rui Abreu 0001, Alexander Egyed. jss, 195:111532, 2023. [doi]

Modeling the Centrality of Developer Output with Software Supply ChainsAudris Mockus, Peter C. Rigby, Rui Abreu 0001, Parth Suresh, Yifen Chen, Nachiappan Nagappan. FSE 2023: 1809-1819 [doi]

Tenet: A Flexible Framework for Machine-Learning-based Vulnerability DetectionEduard Pinconschi, Sofia Reis, Chi Zhang, Rui Abreu 0001, Hakan Erdogmus, Corina S. Pasareanu, Limin Jia 0001. cain 2023: 102-103 [doi]

Are security commit messages informative? Not enough!Sofia Reis, Rui Abreu 0001, Corina S. Pasareanu. EASE 2023: 196-199 [doi]

GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code RepairFrancisco Ribeiro, José Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu 0001, João Saraiva. SLE 2023: 111-124 [doi]

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated DataWill Shackleton, Katriel Cohn-Gordon, Peter C. Rigby, Rui Abreu 0001, James Gill, Nachiappan Nagappan, Karim Nakad, Ioannis Papagiannis, Luke Petre, Giorgi Megreli, Patrick Riggs, James Saindon. FSE 2023: 1705-1715 [doi]

2022

Metamorphic Testing of Oracle Quantum ProgramsRui Abreu 0001, João Paulo Fernandes, Luis Llana, Guilherme Tavares. icse-qse 2022: 16-23 [doi]

When software engineering meets quantum computingShaukat Ali 0001, Tao Yue 0002, Rui Abreu 0001. CACM, 65(4):84-88, 2022. [doi]

Syrius: Synthesis of Rules for Intrusion DetectorsLucas Alcantara, Guilherme Padilha, Rui Abreu 0001, Marcelo d'Amorim. tr, 71(1):370-381, 2022. [doi]

Leveraging test plan quality to improve code review efficacyLawrence Chen, Rui Abreu 0001, Tobi Akomolede, Peter C. Rigby, Satish Chandra 0001, Nachiappan Nagappan. FSE 2022: 1320-1330 [doi]

Asserting the correctness of Shor implementations using metamorphic testingNuno Costa, João Paulo Fernandes, Rui Abreu 0001. qp4se 2022: 32-36 [doi]

WebAssembly versus JavaScript: Energy and Runtime PerformanceJoão de Macedo, Rui Abreu 0001, Rui Pereira, João Saraiva. ict4s 2022: 24-34 [doi]

Quantum Software Frameworks for Deep LearningFilipa Ramos Ferreira, João Paulo Fernandes, Rui Abreu 0001. In Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini, editors, Quantum Software Engineering. pages 281-302, Springer International Publishing, 2022. [doi]

Mutation Testing of Quantum Programs Written in QISKitDaniel Fortunato, José Campos, Rui Abreu 0001. ICSE 2022: 358-359 [doi]

QMutPy: a mutation testing tool for Quantum algorithms and applications in QiskitDaniel Fortunato, José Campos, Rui Abreu 0001. ISSTA 2022: 797-800 [doi]

Code Quality Prediction Under Super Extreme Class ImbalanceNoah Lee, Rui Abreu 0001, Nachiappan Nagappan. issre 2022: 99-104 [doi]

The Engineering Implications of Code Maintenance in PracticeNoah Lee, Rui Abreu 0001, Mehmet Yatbaz, Hang Qu, Nachiappan Nagappan. ICSM 2022: 568-577 [doi]

A transformer-based IDE plugin for vulnerability detectionCláudia Mamede, Eduard Pinconschi, Rui Abreu 0001. ASE 2022: [doi]

Exploring Transformers for Multi-Label Classification of Java VulnerabilitiesCláudia Mamede, Eduard Pinconschi, Rui Abreu 0001, José Campos. qrs 2022: 43-52 [doi]

Extending EcoAndroid with Automated Detection of Resource LeaksRicardo B. Pereira, João F. Ferreira 0001, Alexandra Mendes, Rui Abreu 0001. mobilesoft 2022: 17-27 [doi]

Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilitiesEduard Pinconschi, Quang-Cuong Bui, Rui Abreu 0001, Pedro Adão, Riccardo Scandariato. ISSTA 2022: 789-792 [doi]

Leveraging Practitioners' Feedback to Improve a Security LinterSofia Reis, Rui Abreu 0001, Marcelo d'Amorim, Daniel Fortunato. ASE 2022: [doi]

SECOM: Towards a convention for security commit messagesSofia Reis, Rui Abreu 0001, Hakan Erdogmus, Corina S. Pasareanu. msr 2022: 764-765 [doi]

Framing Program Repair as Code CompletionFrancisco Ribeiro, Rui Abreu 0001, João Saraiva. icse-apr 2022: 38-45 [doi]

Mining Idioms in the WildAishwarya Sivaraman, Rui Abreu 0001, Andrew Scott, Tobi Akomolede, Satish Chandra 0001. ICSE 2022: 187-196 [doi]

Exploring Design smells for smell-based defect predictionBruno Sotto-Mayor, Amir Elmishali, Meir Kalech, Rui Abreu 0001. eaai, 115:105240, 2022. [doi]

A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz TestingMiguel Trinca, João F. Ferreira 0001, Rui Abreu 0001. icst 2022: 118-121 [doi]

2021

Quantum Software: Model-driven or Search-driven? A Q-SE 2021 Workshop ReportRui Abreu 0001, Shaukat Ali 0001, Tao Yue 0002, Michael Felderer, Iaakov Exman. sigsoft, 46(4):23-25, 2021. [doi]

On the Energy Footprint of Mobile Testing FrameworksLuis Cruz 0002, Rui Abreu 0001. TSE, 47(10):2260-2271, 2021. [doi]

Patterns and Energy Consumption: Design, Implementation, Studies, and StoriesDaniel Feitosa, Luís Cruz 0002, Rui Abreu 0001, João Paulo Fernandes, Marco Couto 0001, João Saraiva. In Coral Calero, Marí Ángeles Moraga, Mario Piattini, editors, Software Sustainability. pages 89-121, Springer, 2021. [doi]

Prioritized Test Generation Guided by Software Fault PredictionEran Hershkovich, Roni Stern, Rui Abreu 0001, Amir Elmishali. icst 2021: 218-225 [doi]

Artificial Intelligence Methods for Software EngineeringMeir Kalech, Rui Abreu 0001, Mark Last. WorldScientific, 2021. [doi]

Supervised Learning for Test Suit Selection in Continuous IntegrationRicardo Martins, Rui Abreu 0001, Manuel Lopes 0001, João Nadkarni. icst 2021: 239-246 [doi]

Spectrum-based feature localization: a case study using ArgoUMLGabriela Karoline Michelon, Bruno Sotto-Mayor, Jabier Martinez, Aitor Arrieta, Rui Abreu 0001, Wesley K. G. Assunção. SPLC 2021: 126-130 [doi]

Fixing vulnerabilities potentially hinders maintainabilitySofia Reis, Rui Abreu 0001, Luis Cruz 0002. ese, 26(6):127, 2021. [doi]

On Understanding Contextual Changes of FailuresFrancisco Ribeiro, Rui Abreu 0001, João Saraiva. qrs 2021: 1036-1047 [doi]

2013

MZoltar: automatic debugging of Android applicationsPedro Machado, José Campos, Rui Abreu 0001. FSE 2013: 9-16 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Rui Abreu 0001'

Viewing Publication 1 - 39 from 39

2023

2022

2021

2013

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Rui Abreu 0001'

Viewing Publication 1 - 39 from 39

2023

2022

2021

2013

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1