Publications
To appear
SALLM: Security Assessment of Generated Code
Authors: , , , and
In: ASYDE'24 6th International Workshop on Automated and verifiable Software sYstem Development. Sacramento, CA, USA. 2024.
To appear Preprint GitHub 10.1145/3691621.3694934To appear
FRANC: A Lightweight Framework for High-Quality Code Generation
Authors: , , and
In: SCAM'24 24th IEEE International Conference on Source Code Analysis and Manipulation (SCAM). Flagstaff, AZ, USA. 2024.
To appear Preprint 10.1109/SCAM63643.2024.00020To appear
The Fault in our Stars: Quality Assessment of Code Generation Benchmarks
Authors: , , , and
In: SCAM'24 24th IEEE International Conference on Source Code Analysis and Manipulation (SCAM). Flagstaff, AZ, USA. 2024.
To appear Preprint 10.1109/SCAM63643.2024.00028Using Large Language Models to Generate JUnit Tests: An Empirical Study
Authors: , , , , , and
In: EASE'24 28th International Conference on Evaluation and Assessment in Software Engineering (EASE). Salerno, Italy. 2024.
Preprint 10.1145/3661167.3661216Understanding Regular Expression Denial of Service (ReDoS): Insights from LLM-Generated Regexes and Developer Forums
Authors: , , and
In: ICPC'24 32nd IEEE/ACM International Conference on Program Comprehension (ICPC). Lisbon, Portugal. 2024.
Preprint GitHub 10.1145/3643916.3644424To appear
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Authors: , , and
In: OOPSLA ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). 2024.
To appear Preprint 10.1145/3649851Re(gEx|DoS)Eval: Evaluating Generated Regular Expressions and their Proneness to DoS Attacks
Authors: , , , and
In: ICSE NIER 46th International Conference on Software Engineering - New Ideas and Emerging Results Track (ICSE-NIER). 2024.
Preprint GitHub 10.1145/3639476.3639757Quality Assessment of ChatGPT Generated Code and their Use by Developers
Authors: , , , and
In: MSR MINING CHALLENGE 21st International Conference on Mining Software Repositories, Mining Challenge Track (MSR 2024). 2024.
Preprint GitHub 10.1145/3643991.3645071Empirical Validation of Automated Vulnerability Curation and Characterization
Authors: , , , , , , and
In: TSE IEEE Transactions on Software Engineering. 2023.
Preprint 10.1109/TSE.2023.3250479Zero-shot Prompting for Code Complexity Prediction Using GitHub Copilot
Authors: , , , , , and
In: NLBSE'23 2nd International Workshop on Natural Language-based Software Engineering (co-located with ICSE'23). Melbourne, Australia. 2023.
Preprint 10.1109/NLBSE59153.2023.00018An Empirical Study of Code Smells in Transformer-based Code Generation Techniques
Authors: , , , , and
In: SCAM'22 22nd IEEE International Working Conference on Source Code Analysis and Manipulation. Limassol, Cyprus. 2022.
Preprint GitHub 10.1109/SCAM55253.2022.00014SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques
Authors: , and
In: MSR4P&S'22 1st International Workshop on Mining Software Repositories Applications for Privacy and Security (co-located with ESEC/FSE'22). Singapore. 2022.
Preprint Video GitHub 10.1145/3549035.3561184Counterfeit Object-Oriented Programming Vulnerabilities: An Empirical Study in Java
Authors: , , and
In: MSR4P&S'22 1st International Workshop on Mining Software Repositories Applications for Privacy and Security (co-located with ESEC/FSE'22). Singapore. 2022.
Preprint 10.1145/3549035.3561184A Methodological Approach to Verify Architecture Resiliency
Authors: , , , and
In: DeMeSSA'22 2nd International Workshop on Designing and Measuring Security in Software Architecture (co-located with ECSA'22). Prague, Czech Republic. 2022.
Preprint 10.1007/978-3-031-36889-9_22Serialization-Aware Call Graph Construction
Authors: , , , and
In: SOAP'21 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis. Virtual Conference. 2021.
Preprint GitHub 10.1145/3460946.3464319ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns
Authors: , , and
In:
ICSA'21
2021 IEEE International Conference on Software Architecture.
Stuttgart, Germany
(Virtual due to COVID-19).
2021.
Looking for Software Defects? First Find the Nonconformists - An Outlier-Based Defect Prediction Approach
Authors: , , , and
In:
SCAM'20
20th IEEE International Working Conference on Source Code Analysis and Manipulation.
Adelaide, Australia
(Virtual due to COVID-19).
2020.
Salsa: Static Analysis of Serialization Features
Authors: , , and
In:
FTfJP'20
22th ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs.
Berlin, Germany
(Virtual due to COVID-19).
2020.
Towards Automated Evidence Generation for Rapid and Continuous Software Certification
Authors: , , and
In:
WoSoCer'20
10th IEEE International Workshop on Software Certification.
Coimbra, Portugal
(Virtual due to COVID-19).
2020.
Towards an Automated Approach for Detecting Architectural Weaknesses in Critical Systems
Authors: , , , and
In:
EnCyCriS'20
1st International Workshop on Engineering and Cybersecurity of Critical Systems.
Seoul, South Korea
(Virtual due to COVID-19).
2020.
An Automated Approach to Recover the Use-case View of an Architecture
Authors: , , and
In: ICSA-NEMI Track 2020 IEEE International Conference on Software Architecture - New and Emerging Ideas. 2020.
Preprint Video 10.1109/ICSA-C50368.2020.00020Achilles’ Heel of Plug-and-Play Software Architectures: A Grounded Theory Based Approach
Authors: , , , , and
In: ESEC/FSE'19 2019 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Tallinn, Estonia. 2019.
Preprint GitHub 10.1145/3338906.3338969An Empirical Study of Tactical Vulnerabilities
Authors: , , , , and
In: JSS Journal of Systems and Software. Volume 149. 2019.
Preprint 10.1016/j.jss.2018.10.030Understanding Software Vulnerabilities Related to Architectural Security Tactics: An Empirical Investigation of Chromium, PHP and Thunderbird
Authors: , , , , , and
In: ICSA'17 2017 IEEE International Conference on Software Architecture. Gothenburg, Sweden. 2017.
Preprint 10.1109/ICSA.2017.39 Best paper awardA Catalog of Security Architecture Weaknesses
Authors: , , and
In: ICSAW'17 2017 IEEE International Conference on Software Architecture Workshops. Gothenburg, Sweden. 2017.
Preprint URL 10.1109/ICSAW.2017.25A Large-Scale Study on the Usage of Testing Patterns That Address Maintainability Attributes (Patterns for Ease of Modification, Diagnoses, and Comprehension)
Authors: , , , , and
In: MSR'17 Proceedings of the 14th International Conference on Mining Software Repositories. Buenos Aires, Argentina. 2017.
10.1109/MSR.2017.8A search engine for finding and reusing architecturally significant code
Authors: , , , and
In: JSS Journal of Systems and Software. Volume 130. 2016.
Preprint 10.1016/j.jss.2016.11.034Automated training-set creation for software architecture traceability problem
Authors: , , , , and
In: EMSE Empirical Software Engineering. Volume 22, Issue 3. 2016.
Preprint 10.1007/s10664-016-9476-yBUDGET: a Tool for Supporting Software Architecture Traceability Research
Authors: , , , and
In: WICSA'16 Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture. Venice, Italy. 2016.
Preprint Video 10.1109/WICSA.2016.47A Model-Driven Solution for Automatic Software Deployment in the Cloud
Authors: , , , and
In: ITNG'15 Proceedings of the 13th International Conference on Information Technology: New Generations. 2015.
Preprint 10.1007/978-3-319-32467-8_52ERLab: a middleware for remote access electronic laboratories
Authors: , , , , and
In: EATIS'12 Proceedings of the 6th Euro American Conference on Telematics and Information Systems. Valencia, Spain. 2012.
Preprint 10.1145/2261605.2261635Publications in Brazilian Venues
A Location Service using the HTML5 Geolocation API (Serviço de localização utilizando a API de geolocalização do HTML5)
Authors: , , , and
In: ERBASE 2013 - WTICG 13th Regional School of Computing of the States of Bahia, Alagoas and Sergipe - Scientific Initiation and Undergraduate Works Workshop (XIII Escola Regional de Computação dos Estados da Bahia, Alagoas e Sergipe - Workshop de Trabalhos de IC e de Graduação - ERBASE 2013 - WTICG). Aracaju, Sergipe. 2013.
Preprint 🥉 Paper Award (3rd place)Uma Proposta de Site de Rede Social Móvel para Pesquisa e Educação.
Authors: , , , and
In: ERBASE 2012 - X WEIBASE XII Escola Regional de Computação dos Estados da Bahia, Alagoas e Sergipe - X Workshop de Educação e Informática Bahia-Alagoas-Sergipe. Juazeiro, Bahia. 2012.
PreprintJOnline: Proposta preliminar de um juiz online didático para o ensino de programação
Authors: , and
In: XXII SBIE - XVII WIE 22º Simpósio Brasileiro de Informática na Educação (SBIE) e 17º Workshop de Informática na Escola. Aracaju, Sergipe. 2011.
PreprintUma proposta de um juiz online didático para o ensino de programação
Authors: , and
In: II ENINED II Encontro Nacional de Informática e Educação. Cascavel, Paraná. 2011.
PreprintLEW: Laboratório de Engenharia Web para ensino, pesquisa e extensão
Authors: , , , , and
In: II ENINED II Encontro Nacional de Informática e Educação. Cascavel, Paraná. 2011.
PreprintSocialNetLab - Uma Proposta de Site de Rede Social para Educação
Authors: , , and
In: II ENINED II Encontro Nacional de Informática e Educação. Cascavel, Paraná. 2011.
Preprint