Cover Image

When Code Becomes Abundant: Redefining Software Engineering Around Orchestration and Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kohl, Karina, Carro, Luigi
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

When AI Models Become Dependencies: Studying the Evolution of Pre-Trained Model Reuse in Downstream Software Systems
by: Banyongrakkul, Peerachai, et al.
Published: (2026)

Creative Problem-Solving: A Study with Blind and Low Vision Software Professionals
by: Kohl, Karina, et al.
Published: (2025)

Manifestations of Empathy in Software Engineering: How, Why, and When It Matters
by: Gunatilake, Hashini, et al.
Published: (2025)

Peer Code Review in Research Software Development: The Research Software Engineer Perspective
by: Malik, Md Ariful Islam, et al.
Published: (2025)

Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
by: Cito, Jürgen, et al.
Published: (2025)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

Multi-Agent Code-Orchestrated Generation for Reliable Infrastructure-as-Code
by: Khan, Rana Nameer Hussain, et al.
Published: (2025)

The Impact of AI Coding Assistants on Software Engineering: A Longitudinal Study
by: Vella, Annie, et al.
Published: (2026)

Belonging Beyond Code: Queer Software Engineering and Humanities Student Experiences
by: Vorderwülbeke, Emily, et al.
Published: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
by: Cramer, Marcos, et al.
Published: (2025)

Chain of Draft for Software Engineering: Challenges in Applying Concise Reasoning to Code Tasks
by: Yang, Shaoyi
Published: (2025)

From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
by: Ullrich, Jonathan, et al.
Published: (2025)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

Selene: Pioneering Automated Proof in Software Verification
by: Zhang, Lichen, et al.
Published: (2024)

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

A Comprehensive Empirical Evaluation of Agent Frameworks on Code-centric Software Engineering Tasks
by: Yin, Zhuowen, et al.
Published: (2025)

From Verification to Herding: Exploiting Software's Sparsity of Influence
by: Menzies, Tim, et al.
Published: (2026)

CodeClash: Benchmarking Goal-Oriented Software Engineering
by: Yang, John, et al.
Published: (2025)

In-Context Code-Text Learning for Bimodal Software Engineering
by: Tang, Xunzhu, et al.
Published: (2024)

Generative Software Engineering
by: Huang, Yuan, et al.
Published: (2024)

Do Research Software Engineers and Software Engineering Researchers Speak the Same Language?
by: Kehrer, Timo, et al.
Published: (2025)

Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions
by: Furia, Carlo A., et al.
Published: (2023)

Redefining Developer Assistance: Through Large Language Models in Software Ecosystem
by: Banerjee, Somnath, et al.
Published: (2023)

Quantum Software Engineering and Potential of Quantum Computing in Software Engineering Research: A Review
by: Mandal, Ashis Kumar, et al.
Published: (2025)

Teaching Software Metrology: The Science of Measurement for Software Engineering
by: Ralph, Paul, et al.
Published: (2024)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

Human and Machine: How Software Engineers Perceive and Engage with AI-Assisted Code Reviews Compared to Their Peers
by: Alami, Adam, et al.
Published: (2025)

Why Do We Code? A Theory on Motivations and Challenges in Software Engineering from Education to Practice
by: Chang, Aaliyah, et al.
Published: (2025)

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
by: Furia, Carlo A., et al.
Published: (2021)

Trustworthy AI Software Engineers
by: Aleti, Aldeida, et al.
Published: (2026)

Ethics of Care for Software Engineering
by: Serebrenik, Alexander, et al.
Published: (2026)

An Architecture for Software Engineering Gamification
by: Pedreira, Óscar, et al.
Published: (2024)

Taxing Collaborative Software Engineering
by: Dorner, Michael, et al.
Published: (2023)

Are You a Real Software Engineer? Best Practices in Online Recruitment for Software Engineering Studies
by: Alami, Adam, et al.
Published: (2024)

Promptware Engineering: Software Engineering for Prompt-Enabled Systems
by: Chen, Zhenpeng, et al.
Published: (2025)

Critical Considerations on Effort-aware Software Defect Prediction Metrics
by: Lavazza, Luigi, et al.
Published: (2025)

On the Future of Software Reuse in the Era of AI Native Software Engineering
by: Taivalsaari, Antero, et al.
Published: (2025)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

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

The Impact of Generative AI-Powered Code Generation Tools on Software Engineer Hiring: Recruiters' Experiences, Perceptions, and Strategies
by: Chen, Alyssia, et al.
Published: (2024)