:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhou, Zhi Quan, Towey, Dave, Chen, Tsong Yueh
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2605.17926
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Metamorphic Relation Generation: State of the Art and Visions for Future Research
by: Li, Rui, et al.
Published: (2024)

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

Requirements-Based Test Generation: A Comprehensive Survey
by: Yang, Zhenzhen, et al.
Published: (2025)

Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey
by: Zheng, Zheng, et al.
Published: (2026)

TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation
by: Xian, Zixiang, et al.
Published: (2023)

From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing
by: Liang, Linfeng, et al.
Published: (2026)

Large Language Models for Automated Web-Form-Test Generation: An Empirical Study
by: Li, Tao, et al.
Published: (2024)

LRASGen: LLM-based RESTful API Specification Generation
by: Deng, Sida, et al.
Published: (2025)

Large Language Models for Mobile GUI Text Input Generation: An Empirical Study
by: Cui, Chenhui, et al.
Published: (2024)

MORTAR: Multi-turn Metamorphic Testing for LLM-based Dialogue Systems
by: Guo, Guoxiang, et al.
Published: (2024)

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases
by: Yang, Zhenzhen, et al.
Published: (2025)

Toward Cost-effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
by: Huang, Rubing, et al.
Published: (2023)

GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
by: Kolthoff, Kristian, et al.
Published: (2025)

A System Model Generation Benchmark from Natural Language Requirements
by: Jin, Dongming, et al.
Published: (2025)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

Aligning Requirement for Large Language Model's Code Generation
by: Tian, Zhao, et al.
Published: (2025)

Natural Language Processing for Requirements Traceability
by: Guo, Jin L. C., et al.
Published: (2024)

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability
by: Wang, Yifei, et al.
Published: (2026)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
by: Huang, Changze, et al.
Published: (2025)

From Chat to Interview: Agentic Requirements Elicitation with an Experience Ontology
by: Jin, Dongming, et al.
Published: (2026)

A Survey on Web Application Testing: A Decade of Evolution
by: Li, Tao, et al.
Published: (2024)

Inducing Vulnerable Code Generation in LLM Coding Assistants
by: Zeng, Binqi, et al.
Published: (2025)

MRGS‐ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing
by: Zhihao Ying, et al.
Published: (2024)

Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications
by: Jin, Haolin, et al.
Published: (2025)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
by: Liu, Junwei, et al.
Published: (2024)

Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation
by: Li, Jia, et al.
Published: (2026)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
by: Zhang, Yueke, et al.
Published: (2025)

From Prompting to Verification: How Experience Shapes Vibe Coding Practices
by: Fawzy, Ahmed, et al.
Published: (2026)

Experience Report on the Adaptable Integration of Requirements Engineering Courses into Curricula for Professionals
by: Kosenkov, Oleksandr, et al.
Published: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
by: Erfan, Md, et al.
Published: (2026)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
by: Liu, Zihan, et al.
Published: (2024)

Natural Language Requirements Testability Measurement Based on Requirement Smells
by: Zakeri-Nasrabadi, Morteza, et al.
Published: (2024)

Does Co-Development with AI Assistants Lead to More Maintainable Code? A Registered Report
by: Borg, Markus, et al.
Published: (2024)

Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

Context Before Code: An Experience Report on Vibe Coding in Practice
by: Shuvo, Md Nasir Uddin, et al.
Published: (2026)

NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language Requirements
by: Giannouris, Polydoros, et al.
Published: (2025)

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
by: Fein, Benedikt, et al.
Published: (2025)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
by: Zhou, Tianyang, et al.
Published: (2025)

A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports
by: Kószó, Dávid, et al.
Published: (2025)