Copertina

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Xue, Zhiyi, Chen, Xiaohong, Zhang, Min
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

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
di: Momcilovic, Tomas Bueno, et al.
Pubblicazione: (2024)

AutoTest: Evolutionary Code Solution Selection with Test Cases
di: Duan, Zhihua, et al.
Pubblicazione: (2024)

AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL
di: Stennett, Tyler, et al.
Pubblicazione: (2025)

RESTestBench: A Benchmark for Evaluating the Effectiveness of LLM-Generated REST API Test Cases from NL Requirements
di: Kogler, Leon, et al.
Pubblicazione: (2026)

System Test Case Design from Requirements Specifications: Insights and Challenges of Using ChatGPT
di: Bhatia, Shreya, et al.
Pubblicazione: (2024)

Are LLMs Reliable Code Reviewers? Systematic Overcorrection in Requirement Conformance Judgement
di: Jin, Haolin, et al.
Pubblicazione: (2026)

ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
di: Cheng, Haowei, et al.
Pubblicazione: (2026)

Automatically Generating Web Applications from Requirements Via Multi-Agent Test-Driven Development
di: Wan, Yuxuan, et al.
Pubblicazione: (2025)

Klear-CodeTest: Scalable Test Case Generation for Code Reinforcement Learning
di: Fu, Jia, et al.
Pubblicazione: (2025)

LLMs for Test Input Generation for Semantic Caches
di: Rasool, Zafaryab, et al.
Pubblicazione: (2024)

LLM-Based Test Case Generation in DBMS through Monte Carlo Tree Search
di: Chen, Yujia, et al.
Pubblicazione: (2026)

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

Analysis of LLMs vs Human Experts in Requirements Engineering
di: Hymel, Cory, et al.
Pubblicazione: (2025)

LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest Framework
di: Lops, Andrea, et al.
Pubblicazione: (2025)

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

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

LiCoEval: Evaluating LLMs on License Compliance in Code Generation
di: Xu, Weiwei, et al.
Pubblicazione: (2024)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
di: Sung, Sicheol, et al.
Pubblicazione: (2025)

The Future of Software Testing: AI-Powered Test Case Generation and Validation
di: Baqar, Mohammad, et al.
Pubblicazione: (2024)

Bridging Requirements and Architecture: Multi-Agent Orchestration with External Knowledge and Hierarchical Memory
di: Li, Ruiyin, et al.
Pubblicazione: (2026)

ReCatcher: Towards LLMs Regression Testing for Code Generation
di: Abbassi, Altaf Allah, et al.
Pubblicazione: (2025)

The Potential of LLMs in Automating Software Testing: From Generation to Reporting
di: Sherifi, Betim, et al.
Pubblicazione: (2024)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
di: Isaku, Erblin, et al.
Pubblicazione: (2024)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
di: Wang, Shuai, et al.
Pubblicazione: (2025)

Knowledge-Augmented Reasoning for EUAIA Compliance and Adversarial Robustness of LLMs
di: Momcilovic, Tomas Bueno, et al.
Pubblicazione: (2024)

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

Can LLMs Generate Reliable Test Case Generators? A Study on Competition-Level Programming Problems
di: Cao, Yuhan, et al.
Pubblicazione: (2025)

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
di: Dolcetti, Greta, et al.
Pubblicazione: (2024)

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

From Inductive to Deductive: LLMs-Based Qualitative Data Analysis in Requirements Engineering
di: Shah, Syed Tauhid Ullah, et al.
Pubblicazione: (2025)

Deep Learning Library Testing: Definition, Methods and Challenges
di: Zhang, Xiaoyu, et al.
Pubblicazione: (2024)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
di: Wijayakoon, Chanuka, et al.
Pubblicazione: (2025)

VerilogReader: LLM-Aided Hardware Test Generation
di: Ma, Ruiyang, et al.
Pubblicazione: (2024)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
di: Liu, Ye, et al.
Pubblicazione: (2024)

Improving LLM Code Generation via Requirement-Aware Curriculum Reinforcement Learning
di: Yin, Shouyu, et al.
Pubblicazione: (2026)

Unify and Triumph: Polyglot, Diverse, and Self-Consistent Generation of Unit Tests with LLMs
di: Khelladi, Djamel Eddine, et al.
Pubblicazione: (2025)

Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing
di: Karanjai, Rabimba, et al.
Pubblicazione: (2024)

AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
di: Nunez, Ana, et al.
Pubblicazione: (2024)

Goal2Story: A Multi-Agent Fleet based on Privately Enabled sLLMs for Impacting Mapping on Requirements Elicitation
di: Zou, Xinkai, et al.
Pubblicazione: (2025)

AI-augmented Cybersecurity Requirements Generation using LLMs | Reproducible Research Package
di: Yelmo, Juan Carlos, et al.
Pubblicazione: (2025)