Copertina

Enhancing Formal Software Specification with Artificial Intelligence

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nassar, Antonio Abu, Farchi, Eitan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

Effective Technical Reviews
di: Ballentine, Scott, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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