Buchumschlag

QUT: A Unit Testing Framework for Quantum Subroutines

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Klymenko, Mykhailo V., Hoang, Thong, Nguyen, Hoa, Wilkinson, Samuel A., Goldozian, Bahar, Zhenchang, Xing, Lu, Qinghua, Usman, Muhammad, Zhu, Liming
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Quantum Physics D.2.4; D.2.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Architectural Patterns for Designing Quantum Artificial Intelligence Systems
von: Klymenko, Mykhailo, et al.
Veröffentlicht: (2024)

Context-Aware Unit Testing for Quantum Subroutines
von: Klymenko, Mykhailo, et al.
Veröffentlicht: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
von: Yu, Boxi, et al.
Veröffentlicht: (2026)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
von: Gridin, Iaroslav, et al.
Veröffentlicht: (2024)

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

Combined Program Analysis Techniques: A Systematic Mapping Study
von: Braione, Pietro, et al.
Veröffentlicht: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
von: Sharmin, Shaila, et al.
Veröffentlicht: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
von: Rawat, Sanjay
Veröffentlicht: (2026)

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

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
von: Ravi, Ravin, et al.
Veröffentlicht: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
von: Zietsman, Christo
Veröffentlicht: (2026)

Trace Validation of Unmodified Concurrent Systems with OmniLink
von: Hackett, Finn, et al.
Veröffentlicht: (2026)

Evaluating Cryptographic API Misuse Detectors for Go
von: Andersson, Vivi, et al.
Veröffentlicht: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
von: Lucio, Levi
Veröffentlicht: (2026)

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

Understanding and Reusing Test Suites Across Database Systems
von: Zhong, Suyang, et al.
Veröffentlicht: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
von: Liyanage, Danushka, et al.
Veröffentlicht: (2025)

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

A Survey of Protocol Fuzzing
von: Zhang, Xiaohan, et al.
Veröffentlicht: (2024)

Path-optimal symbolic execution of heap-manipulating programs
von: Braione, Pietro, et al.
Veröffentlicht: (2024)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
von: Calboreanu, Elias
Veröffentlicht: (2026)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
von: Susan, Ştefan-Claudiu, et al.
Veröffentlicht: (2025)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
von: Lyu, Ce, et al.
Veröffentlicht: (2025)

Monitoring Agentic Systems Before They're Reliable
von: Boston, Marisa Ferrara, et al.
Veröffentlicht: (2026)

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
von: Parris, William M.
Veröffentlicht: (2026)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
von: Guo, Dongxin, et al.
Veröffentlicht: (2026)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
von: Baldonado, Juan Manuel, et al.
Veröffentlicht: (2025)

Automated Vulnerability Detection Using Deep Learning Technique
von: Yang, Guan-Yan, et al.
Veröffentlicht: (2024)

Good modelling software practices
von: Lemmen, Carsten, et al.
Veröffentlicht: (2024)

Proving correctness for SQL implementations of OCL constraints
von: Nguyen, Hoang, et al.
Veröffentlicht: (2024)

Modelling Trust and Trusted Systems: A Category Theoretic Approach
von: Oliver, Ian, et al.
Veröffentlicht: (2026)

Recommended Practices for Spreadsheet Testing
von: Panko, Raymond R.
Veröffentlicht: (2007)

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
von: Jahan, Sigma, et al.
Veröffentlicht: (2026)

Automated structural testing of LLM-based agents: methods, framework, and case studies
von: Kohl, Jens, et al.
Veröffentlicht: (2026)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
von: Ariamajd, Armin, et al.
Veröffentlicht: (2025)

AWDIT: An Optimal Weak Database Isolation Tester
von: Møldrup, Lasse, et al.
Veröffentlicht: (2025)

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
von: Qin, Xue, et al.
Veröffentlicht: (2026)