:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Martins, Mariana Crisostomo, Rocha, Lucas Elias Cardoso, Romao, Lucas Cordeiro, Kudo, Taciana Novo, Kalinowski, Marcos, Bulcao-Neto, Renato de Freitas
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2510.18017
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Domain Knowledge in Requirements Engineering: A Systematic Mapping Study
by: Araújo, Marina, et al.
Published: (2025)

Agile Management for Machine Learning: A Systematic Mapping Study
by: Romao, Lucas, et al.
Published: (2025)

Agile Minds, Innovative Solutions, and Industry-Academia Collaboration: Lean R&D Meets Problem-Based Learning in Software Engineering Education
by: Romao, Lucas, et al.
Published: (2024)

Experiences Applying Lean R&D in Industry-Academia Collaboration Projects
by: Kalinowski, Marcos, et al.
Published: (2025)

Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
by: Alonso, Silvio, et al.
Published: (2025)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Applying a Requirements-Focused Agile Management Approach for Machine Learning-Enabled Systems
by: Romao, Lucas, et al.
Published: (2026)

An Empirical Study of Generative AI Adoption in Software Engineering
by: Giray, Görkem, et al.
Published: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

POLARIS: A framework to guide the development of Trustworthy AI systems
by: Baldassarre, Maria Teresa, et al.
Published: (2024)

Software Engineering Podcasts: An Empirical Study of Their Potential as a Research Resource
by: Wyrich, Marvin, et al.
Published: (2026)

Towards AI Agents Supported Research Problem Formulation
by: Pereira, Anrafel Fernandes, et al.
Published: (2025)

Impacts of Generative AI on Agile Teams' Productivity: A Multi-Case Longitudinal Study
by: Tomaz, Rafael, et al.
Published: (2026)

Cross-Functional AI Task Forces (X-FAITs) for AI Transformation of Software Organizations
by: Gren, Lucas, et al.
Published: (2025)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2025)

Trustworthy AI in practice: an analysis of practitioners' needs and challenges
by: Baldassarre, Maria Teresa, et al.
Published: (2024)

The Expert Validation Framework (EVF): Enabling Domain Expert Control in AI Engineering
by: Gren, Lucas, et al.
Published: (2026)

Statistical Confidence in Functional Correctness: An Approach for AI Product Functional Correctness Evaluation
by: Albertini, Wallace, et al.
Published: (2026)

On the Use of a Large Language Model to Support the Conduction of a Systematic Mapping Study: A Brief Report from a Practitioner's View
by: Barros, Cauã Ferreira, et al.
Published: (2026)

Systems-of-Systems for Environmental Sustainability: A Systematic Mapping Study
by: da Silva, Ana Clara Araújo Gomes, et al.
Published: (2025)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

Leveraging XP and CRISP-DM for Agile Data Science Projects
by: Shimaoka, Andre Massahiro, et al.
Published: (2025)

Understanding and measuring software engineer behavior: What can we learn from the behavioral sciences?
by: Araújo, Allysson Allex, et al.
Published: (2024)

Teaching Survey Research in Software Engineering
by: Kalinowski, Marcos, et al.
Published: (2024)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
by: Dantas, Pierre, et al.
Published: (2026)

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
by: Menezes, Rafael Sá, et al.
Published: (2024)

Embracing Experiential Learning: Hackathons as an Educational Strategy for Shaping Soft Skills in Software Engineering
by: Araújo, Allysson Allex, et al.
Published: (2025)

A Multivocal Literature Review on the Benefits and Limitations of Automated Machine Learning Tools
by: Azevedo, Kelly, et al.
Published: (2024)

Professional Insights into Benefits and Limitations of Implementing MLOps Principles
by: Araujo, Gabriel, et al.
Published: (2024)

Can participation in a hackathon impact the motivation of software engineering students? A preliminary case study analysis
by: Araújo, Allysson Allex, et al.
Published: (2024)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems
by: Scaramuzza, Filippo, et al.
Published: (2025)

On the Interaction between Software Engineers and Data Scientists when building Machine Learning-Enabled Systems
by: Busquim, Gabriel, et al.
Published: (2024)

Teaching Empirical Research Methods in Software Engineering: An Editorial Introduction
by: Mendez, Daniel, et al.
Published: (2025)

Designing a Syllabus for a Course on Empirical Software Engineering
by: Avgeriou, Paris, et al.
Published: (2025)

Towards Emotionally Intelligent Software Engineers: Understanding Students' Self-Perceptions After a Cooperative Learning Experience
by: Araújo, Allysson Allex, et al.
Published: (2025)

Investigating the Online Recruitment and Selection Journey of Novice Software Engineers: Anti-patterns and Recommendations
by: Setúbal, Miguel, et al.
Published: (2024)

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
by: Alshmrany, Kaled M., et al.
Published: (2022)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Assessing the Use of AutoML for Data-Driven Software Engineering
by: Calefato, Fabio, et al.
Published: (2023)