Imagen de Portada

The Future of AI-Driven Software Engineering

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Terragni, Valerio, Vella, Annie, Roop, Partha, Blincoe, Kelly
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Artificial Intelligence Machine Learning Programming Languages D.2.1; D.2.5; D.2.10
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Technical Debt Management: The Road Ahead for Successful Software Delivery
por: Avgeriou, Paris, et al.
Publicado: (2024)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
por: Rodríguez, María Belén, et al.
Publicado: (2026)

Validating Formal Specifications with LLM-generated Test Cases
por: Cunha, Alcino, et al.
Publicado: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
por: Cunha, Alcino, et al.
Publicado: (2025)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
por: Beg, Arshad, et al.
Publicado: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
por: Prasetya, I. S. W. B., et al.
Publicado: (2026)

A Short Survey on Formalising Software Requirements using Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

From Separate Compilation to Sound Language Composition
por: Bruzzone, Federico, et al.
Publicado: (2026)

Formalising Software Requirements using Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

Working Document -- Formalising Software Requirements with Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

From Untestable to Testable: Metamorphic Testing in the Age of LLMs
por: Terragni, Valerio
Publicado: (2026)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
por: Beg, Arshad, et al.
Publicado: (2026)

Design Spaces and How Software Designers Use Them: a sampler
por: Shaw, Mary, et al.
Publicado: (2024)

It's Alive! What a Live Object Environment Changes in Software Engineering Practice
por: Grigera, Julián, et al.
Publicado: (2026)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
por: Rehan, Tzafrir
Publicado: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
por: Ravi, Ravin, et al.
Publicado: (2026)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
por: Chen, Jinbao, et al.
Publicado: (2024)

AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows
por: Bhardwaj, Varun Pratap
Publicado: (2026)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
por: Beg, Arshad, et al.
Publicado: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
por: Beg, Arshad, et al.
Publicado: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
por: Beg, Arshad, et al.
Publicado: (2026)

Modeling in the Design Multiverse
por: Guérin, Sylvain, et al.
Publicado: (2025)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
por: Ferrari, Alessio, et al.
Publicado: (2024)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)

SETBVE: Quality-Diversity Driven Exploration of Software Boundary Behaviors
por: Akbarova, Sabinakhon, et al.
Publicado: (2025)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
por: Ariamajd, Armin, et al.
Publicado: (2025)

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

LLMORPH: Automated Metamorphic Testing of Large Language Models
por: Cho, Steven, et al.
Publicado: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
por: Bruzzone, Federico, et al.
Publicado: (2025)

LSPFuzz: Hunting Bugs in Language Servers
por: Zhu, Hengcheng, et al.
Publicado: (2025)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
por: Li, Shiyang, et al.
Publicado: (2026)

Design Patterns for Multilevel Modeling and Simulation
por: Serena, Luca, et al.
Publicado: (2024)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
por: Tjoa, Ryan, et al.
Publicado: (2025)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
por: Bagnara, Roberto, et al.
Publicado: (2016)

A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing
por: Elgendy, Islam T., et al.
Publicado: (2023)

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
por: Zhang, Sai, et al.
Publicado: (2025)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
por: Radosky, Lukas, et al.
Publicado: (2026)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
por: Mitra, Joydeep, et al.
Publicado: (2020)

Which Combination of Test Metrics Can Predict Success of a Software Project? A Case Study in a Year-Long Project Course
por: Filipovic, Marina, et al.
Publicado: (2024)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
por: Moreira, Jasmine
Publicado: (2026)