Imagen de Portada

Enhancing Formal Software Specification with Artificial Intelligence

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Nassar, Antonio Abu, Farchi, Eitan
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
por: Dreyfuss, Itay, et al.
Publicado: (2025)

An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models
por: Zadorojniy, Alexander, et al.
Publicado: (2025)

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts
por: Fandina, Ora Nova, et al.
Publicado: (2025)

Technique to Baseline QE Artefact Generation Aligned to Quality Metrics
por: Farchi, Eitan, et al.
Publicado: (2025)

Beyond Summaries: Structure-Aware Labeling of Code Changes with Large Language Models
por: Weiss, Bar, et al.
Publicado: (2026)

Future of Artificial Intelligence in Agile Software Development
por: Mahboob, Mariyam, et al.
Publicado: (2024)

Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls
por: Fandina, Ora Nova, et al.
Publicado: (2025)

Artificial Intelligence as a Catalyst for Innovation in Software Engineering
por: Fernández-y-Fernández, Carlos Alberto, et al.
Publicado: (2026)

The Role of Artificial Intelligence and Machine Learning in Software Testing
por: Ramadan, Ahmed, et al.
Publicado: (2024)

Artificial Intelligence in Open Source Software Engineering: A Foundation for Sustainability
por: Karim, S M Rakib UI, et al.
Publicado: (2026)

Effective Technical Reviews
por: Ballentine, Scott, et al.
Publicado: (2024)

Quality Engineering for Agile and DevOps on the Cloud and Edge
por: Farchi, Eitan, et al.
Publicado: (2023)

A Practical Approach to Combinatorial Test Design
por: Farchi, Eitan, et al.
Publicado: (2024)

Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
por: Fandina, Ora Nova, et al.
Publicado: (2025)

The Enhancement of Software Delivery Performance through Enterprise DevSecOps and Generative Artificial Intelligence in Chinese Technology Firms
por: Cui, Jun
Publicado: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
por: Zhang, Liao, et al.
Publicado: (2026)

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
por: Krishna, Madhava, et al.
Publicado: (2024)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
por: Misu, Md Rakib Hossain, et al.
Publicado: (2026)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
por: Pirzada, Muhammad A. A., et al.
Publicado: (2026)

Why Companies "Democratise" Artificial Intelligence: The Case of Open Source Software Donations
por: Osborne, Cailean
Publicado: (2024)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
por: Patil, Minal Suresh, et al.
Publicado: (2024)

RAILS: Retrieval-Augmented Intelligence for Learning Software Development
por: Abdullah, Wali Mohammad, et al.
Publicado: (2025)

Resolving Java Code Repository Issues with iSWE Agent
por: Ganhotra, Jatin, et al.
Publicado: (2026)

Software Vulnerability Management in the Era of Artificial Intelligence: An Industry Perspective
por: Kholoosi, M. Mehdi, et al.
Publicado: (2025)

Explainable Artificial Intelligence Techniques for Software Development Lifecycle: A Phase-specific Survey
por: Arora, Lakshit, et al.
Publicado: (2025)

Black-Box Bug-Amplification for Multithreaded Software
por: Weiss, Yeshayahu, et al.
Publicado: (2025)

Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves
por: Young, Halley, et al.
Publicado: (2026)

SEER: Sustainability Enhanced Engineering of Software Requirements
por: Roy, Mandira, et al.
Publicado: (2025)

Reversa: A Reverse Documentation Engineering Framework for Converting Legacy Software into Operational Specifications for AI Agents
por: de Macedo, Sanderson Oliveira, et al.
Publicado: (2026)

Enhancing AI-based Generation of Software Exploits with Contextual Information
por: Liguori, Pietro, et al.
Publicado: (2024)

Enhancing Interpretability in Software Change Management with Chain-of-Thought Reasoning
por: Sun, Yongqian, et al.
Publicado: (2025)

Enhancing Large Language Model Efficiencyvia Symbolic Compression: A Formal Approach Towards Interpretability
por: AI, Lumen, et al.
Publicado: (2025)

Advances in Artificial Intelligence forDiabetes Prediction: Insights from a Systematic Literature Review
por: Khokhar, Pir Bakhsh, et al.
Publicado: (2024)

A Data-to-Product Multimodal Conceptual Framework to Achieve Automated Software Evolution for Context-rich Intelligent Applications
por: Yue, Songhui
Publicado: (2024)

Automatic Generation of Benchmarks and Reliable LLM Judgment for Code Tasks
por: Farchi, Eitan, et al.
Publicado: (2024)

The Foundations of Computational Management: A Systematic Approach to Task Automation for the Integration of Artificial Intelligence into Existing Workflows
por: Jadad-Garcia, Tamen, et al.
Publicado: (2024)

Towards a Framework for Openness in Foundation Models: Proceedings from the Columbia Convening on Openness in Artificial Intelligence
por: Basdevant, Adrien, et al.
Publicado: (2024)

Integrating Artificial Intelligence with Human Expertise: An In-depth Analysis of ChatGPT's Capabilities in Generating Metamorphic Relations
por: Zhang, Yifan, et al.
Publicado: (2025)

Causal Reasoning in Software Quality Assurance: A Systematic Review
por: Giamattei, Luca, et al.
Publicado: (2024)

Leveraging AI for Enhanced Software Effort Estimation: A Comprehensive Study and Framework Proposal
por: Tran, Nhi, et al.
Publicado: (2024)