Buchumschlag

Extracting Formal Specifications from Documents Using LLMs for Automated Testing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Hui, Dong, Zhen, Wang, Siao, Zhang, Hui, Shen, Liwei, Peng, Xin, She, Dongdong
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
von: Wang, Siao, et al.
Veröffentlicht: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
von: Faria, João Pascoal, et al.
Veröffentlicht: (2026)

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

An Empirical Study on the Potential of LLMs in Automated Software Refactoring
von: Liu, Bo, et al.
Veröffentlicht: (2024)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
von: Huang, Zhechong, et al.
Veröffentlicht: (2026)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
von: Ma, Lezhi, et al.
Veröffentlicht: (2024)

Automated Penetration Testing: Formalization and Realization
von: Skandylas, Charilaos, et al.
Veröffentlicht: (2024)

Test Oracle Automation in the era of LLMs
von: Molina, Facundo, et al.
Veröffentlicht: (2024)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
von: Xie, Yuchong, et al.
Veröffentlicht: (2025)

Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via LLM-Based Agent
von: Wang, Taiming, et al.
Veröffentlicht: (2025)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
von: Zhang, Ke, et al.
Veröffentlicht: (2025)

MUCOCO: Automated Consistency Testing of Code LLMs
von: Chou, Chua Jin, et al.
Veröffentlicht: (2026)

Automated Extract Method Refactoring with Open-Source LLMs: A Comparative Study
von: Chand, Sivajeet, et al.
Veröffentlicht: (2025)

Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
von: Lian, Xiaoli, et al.
Veröffentlicht: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
von: Xu, Kangping, et al.
Veröffentlicht: (2025)

Automated Detection of Inter-Language Design Smells in Multi-Language Deep Learning Frameworks
von: Li, Zengyang, et al.
Veröffentlicht: (2024)

An Agile Formal Specification Language Design Based on K Framework
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

Automated Unit Test Refactoring
von: Gao, Yi, et al.
Veröffentlicht: (2024)

APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
von: Pereira, André, et al.
Veröffentlicht: (2026)

Automated and Context-Aware Code Documentation Leveraging Advanced LLMs
von: Sarker, Swapnil Sharma, et al.
Veröffentlicht: (2025)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
von: Wang, Shuai, et al.
Veröffentlicht: (2025)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
von: Mang, Qiuyang, et al.
Veröffentlicht: (2025)

Automated User Story Generation with Test Case Specification Using Large Language Model
von: Rahman, Tajmilur, et al.
Veröffentlicht: (2024)

AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL
von: Stennett, Tyler, et al.
Veröffentlicht: (2025)

Using LLMs to Facilitate Formal Verification of RTL
von: Orenes-Vera, Marcelo, et al.
Veröffentlicht: (2023)

LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code
von: Guo, Liwei, et al.
Veröffentlicht: (2025)

Code Digital Twin: Empowering LLMs with Tacit Knowledge for Complex Software Development
von: Peng, Xin, et al.
Veröffentlicht: (2025)

RepoZero: Can LLMs Generate a Code Repository from Scratch?
von: Zhang, Zhaoxi, et al.
Veröffentlicht: (2026)

Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
von: Liu, Jun, et al.
Veröffentlicht: (2024)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
von: Rao, Nikitha, et al.
Veröffentlicht: (2024)

Automated Test Case Repair Using Language Models
von: Yaraghi, Ahmadreza Saboor, et al.
Veröffentlicht: (2024)

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

Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge: Feasibility, Challenges, and Road Ahead
von: Su, Yanqi, et al.
Veröffentlicht: (2024)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
von: Xue, Zhiyi, et al.
Veröffentlicht: (2026)

Extracting Conceptual Knowledge to Locate Software Issues
von: Wang, Ying, et al.
Veröffentlicht: (2025)

Secure-Instruct: An Automated Pipeline for Synthesizing Instruction-Tuning Datasets Using LLMs for Secure Code Generation
von: Li, Junjie, et al.
Veröffentlicht: (2025)

WaDec: Decompiling WebAssembly Using Large Language Model
von: She, Xinyu, et al.
Veröffentlicht: (2024)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
von: Tagliaferro, Alberto, et al.
Veröffentlicht: (2026)

Automating API Documentation from Crowdsourced Knowledge
von: Kou, Bonan, et al.
Veröffentlicht: (2026)