:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Klymenko, Mykhailo V., Hoang, Thong, Nguyen, Hoa, Wilkinson, Samuel A., Goldozian, Bahar, Zhenchang, Xing, Lu, Qinghua, Usman, Muhammad, Zhu, Liming
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics D.2.4; D.2.5
Online Access:	https://arxiv.org/abs/2509.17538
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Architectural Patterns for Designing Quantum Artificial Intelligence Systems
by: Klymenko, Mykhailo, et al.
Published: (2024)

Context-Aware Unit Testing for Quantum Subroutines
by: Klymenko, Mykhailo, et al.
Published: (2025)

Proving correctness for SQL implementations of OCL constraints
by: Nguyen, Hoang, et al.
Published: (2024)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
by: Yu, Boxi, et al.
Published: (2026)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
by: Gridin, Iaroslav, et al.
Published: (2024)

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
by: Qin, Xue, et al.
Published: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
by: Yoon, Gangho, et al.
Published: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
by: Kashitsyn, Roman, et al.
Published: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

AgentOps: Enabling Observability of LLM Agents
by: Dong, Liming, et al.
Published: (2024)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
by: Ravi, Ravin, et al.
Published: (2026)

A History Equivalence Algorithm for Dynamic Process Migration
by: Bakshi, Gargi, et al.
Published: (2024)

You Don't Need Public Tests to Generate Correct Code
by: Silva, Kaushitha, et al.
Published: (2026)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
by: Licorish, Sherlock A., et al.
Published: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
by: Licorish, Sherlock A., et al.
Published: (2025)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
by: Amusuo, Paschal C., et al.
Published: (2024)

Combined Program Analysis Techniques: A Systematic Mapping Study
by: Braione, Pietro, et al.
Published: (2026)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
by: McCormack, Ian, et al.
Published: (2024)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
by: Sharmin, Shaila, et al.
Published: (2025)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)

DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models
by: Yuan, Mingyue, et al.
Published: (2024)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)

The Complexity of Testing Message-Passing Concurrency
by: Shi, Zheng, et al.
Published: (2025)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
by: Kessel, Marcus
Published: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
by: Baldonado, Juan Manuel, et al.
Published: (2025)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
by: Zietsman, Christo
Published: (2026)

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
by: Parris, William M.
Published: (2026)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
by: Zietsman, Christo
Published: (2026)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
by: Rawat, Sanjay
Published: (2026)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
by: Salva, Sébastien, et al.
Published: (2025)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
by: Liyanage, Danushka, et al.
Published: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
by: Paiva, Camila A., et al.
Published: (2026)