Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kohl, Karina, Carro, Luigi
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Agentic Verification of Software Systems
di: Tu, Haoxin, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

Generative Software Engineering
di: Huang, Yuan, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

Trustworthy AI Software Engineers
di: Aleti, Aldeida, et al.
Pubblicazione: (2026)

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

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

Taxing Collaborative Software Engineering
di: Dorner, Michael, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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