:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Macedo, J. Antonio Dantas, Fernandes, Hugo, Ribeiro, J. Eduardo Ferreira
Format:	Preprint
Published:	2025
Subjects:	Software Engineering N/A D.0; D.2
Online Access:	https://arxiv.org/abs/2511.11550
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Waterfallish Aerospace Certification onto Agile Certifiable Iterations
by: Ribeiro, J. Eduardo Ferreira, et al.
Published: (2025)

Developers' Perceptions on the Impact of ChatGPT in Software Development: A Survey
by: Vaillant, Thiago S., et al.
Published: (2024)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
by: Saberi, Iman, et al.
Published: (2023)

GenAIOps for GenAI Model-Agility
by: Ueno, Ken, et al.
Published: (2024)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
by: Akbarpour, Nikta, et al.
Published: (2025)

How (Not) To Write a Software Engineering Abstract
by: Prechelt, Lutz, et al.
Published: (2025)

AHA! Strategies for Gaining Insights into Software Design
by: Shaw, Mary
Published: (2024)

Lessons from Formally Verified Deployed Software Systems (Extended version)
by: Huang, Li, et al.
Published: (2023)

Enterprise-Driven Open Source Software: A Case Study on Security Automation
by: Angermeir, Florian, et al.
Published: (2021)

The AI-Native Large-Scale Agile Software Development Manifesto
by: Britto, Ricardo, et al.
Published: (2026)

Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
by: Zhong, Suzhen, et al.
Published: (2025)

The Present and Future of Bots in Software Engineering
by: Shihab, Emad, et al.
Published: (2022)

Towards Identifying Code Proficiency through the Analysis of Python Textbooks
by: Rojpaisarnkit, Ruksit, et al.
Published: (2024)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
by: Zeng, Zhengran, et al.
Published: (2024)

Integrating Sustainability Concerns into Agile Software Development Process
by: Oyedeji, Shola, et al.
Published: (2024)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
by: Saberi, Iman, et al.
Published: (2023)

An Exploratory Study on Fine-Tuning Large Language Models for Secure Code Generation
by: Li, Junjie, et al.
Published: (2024)

Translating PL/I Macro Procedures into Java Using Automatic Templatization and Large Language Models
by: Tateishi, Takaaki, et al.
Published: (2025)

Behavior Trees and State Machines in Robotics Applications
by: Ghzouli, Razan, et al.
Published: (2022)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
by: Shirzad, Mohammad Robati, et al.
Published: (2024)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Breaking Changes in Software Ecosystems: A Systematic Literature Review
by: Chen, Juntao, et al.
Published: (2026)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
by: Le, Tuan D, et al.
Published: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
by: Paramitha, Ranindya, et al.
Published: (2024)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
by: Zadenoori, Mohammad Amin, et al.
Published: (2025)

Advances and Frontiers of LLM-based Issue Resolution in Software Engineering: A Comprehensive Survey
by: Li, Caihua, et al.
Published: (2026)

A Tale of Two Systems: Characterizing Architectural Complexity on Machine Learning-Enabled Systems
by: Ferreira, Renato Cordeiro
Published: (2025)

A Metrics-Oriented Architectural Model to Characterize Complexity on Machine Learning-Enabled Systems
by: Ferreira, Renato Cordeiro
Published: (2025)

Seeking Enlightenment: Incorporating Evidence-Based Practice Techniques in a Research Software Engineering Team
by: Milewicz, Reed, et al.
Published: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
by: Liyanage, Danushka, et al.
Published: (2025)

PDLogger: Automated Logging Framework for Practical Software Development
by: Duan, Shengcheng, et al.
Published: (2025)

Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering
by: Ginac, Frank
Published: (2026)

Code Documentation and Analysis to Secure Software Development
by: Attie, Paul, et al.
Published: (2024)

Building Software by Rolling the Dice: A Qualitative Study of Vibe Coding
by: Chou, Yi-Hung, et al.
Published: (2025)

Project Life Cycles in Open-Source Software
by: Das, Sanjiv, et al.
Published: (2026)