Copertina

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Faria, João Pascoal, Trigo, Emanuel, Honorato, Vinicius, Abreu, Rui
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

APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
di: Pereira, André, et al.
Pubblicazione: (2026)

APITestGenie: Automated API Test Generation through Generative AI
di: Pereira, André, et al.
Pubblicazione: (2024)

Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
di: Fonseca, Pedro Luís, et al.
Pubblicazione: (2025)

Acceptance Test Generation with Large Language Models: An Industrial Case Study
di: Ferreira, Margarida, et al.
Pubblicazione: (2025)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
di: Li, Hui, et al.
Pubblicazione: (2025)

TOGLL: Correct and Strong Test Oracle Generation with LLMs
di: Hossain, Soneya Binta, et al.
Pubblicazione: (2024)

Test Oracle Automation in the era of LLMs
di: Molina, Facundo, et al.
Pubblicazione: (2024)

Towards Automatic Generation of Amplified Regression Test Oracles
di: Duque-Torres, Alejandra, et al.
Pubblicazione: (2023)

Using LLMs to Facilitate Formal Verification of RTL
di: Orenes-Vera, Marcelo, et al.
Pubblicazione: (2023)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
di: Kauffman, Sean, et al.
Pubblicazione: (2024)

SATORI: Static Test Oracle Generation for REST APIs
di: Alonso, Juan C., et al.
Pubblicazione: (2025)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
di: Ma, Lezhi, et al.
Pubblicazione: (2026)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
di: Huang, Zhechong, et al.
Pubblicazione: (2026)

Towards Automated Formal Verification of Backend Systems with LLMs
di: Xu, Kangping, et al.
Pubblicazione: (2025)

AugmenTest: Enhancing Tests with LLM-Driven Oracles
di: Khandaker, Shaker Mahmud, et al.
Pubblicazione: (2025)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
di: Elboher, Yizhak Y., et al.
Pubblicazione: (2026)

RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing
di: Huynh, Hieu, et al.
Pubblicazione: (2025)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
di: Teoh, Xiwen, et al.
Pubblicazione: (2026)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
di: Ma, Zhi, et al.
Pubblicazione: (2025)

On the Effectiveness of LLMs for Manual Test Verifications
di: Peixoto, Myron David Lucena Campos, et al.
Pubblicazione: (2024)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2025)

Assessing Evaluation Metrics for Neural Test Oracle Generation
di: Shin, Jiho, et al.
Pubblicazione: (2023)

Formal Verification of Consistency for Systems with Redundant Controllers
di: Johansson, Bjarne, et al.
Pubblicazione: (2024)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
di: Corazza, Jan, et al.
Pubblicazione: (2025)

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
di: Tsimpourlas, Foivos, et al.
Pubblicazione: (2024)

Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation
di: Hossain, Soneya Binta, et al.
Pubblicazione: (2024)

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
di: Lian, Xiaoli, et al.
Pubblicazione: (2025)

DEFT: Differentiable Automatic Test Pattern Generation
di: Li, Wei, et al.
Pubblicazione: (2025)

Automatically Generating Single-Responsibility Unit Tests
di: Galindo-Gutierrez, Geraldine
Pubblicazione: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2025)

Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
di: Wang, Xinyi, et al.
Pubblicazione: (2025)

Isolating Noisy Labelled Test Cases in Human-in-the-Loop Oracle Learning
di: Kapugama, Charaka Geethal
Pubblicazione: (2025)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
di: Molinelli, Davide, et al.
Pubblicazione: (2025)

Implicit Test Oracles for Quantum Computing
di: Langdon, William B.
Pubblicazione: (2024)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
di: Wu, Valentina, et al.
Pubblicazione: (2025)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
di: Sousa, Tiago, et al.
Pubblicazione: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
di: Ma, Lezhi, et al.
Pubblicazione: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
di: Luckeneder, Christoph, et al.
Pubblicazione: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)