Copertina

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Luo, Junjie, Xia, Shangzhou, Zhang, Fuyuan, Zhao, Jianjun
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Quantum Concolic Testing
di: Xia, Shangzhou, et al.
Pubblicazione: (2024)

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
di: Ye, Jiaming, et al.
Pubblicazione: (2025)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
di: Shao, Minqi, et al.
Pubblicazione: (2026)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
di: Jin, Tiancheng, et al.
Pubblicazione: (2025)

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
di: Ye, Jiaming, et al.
Pubblicazione: (2026)

QSolver: A Quantum Constraint Solver
di: Xia, Shangzhou, et al.
Pubblicazione: (2026)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
di: Long, Peixun, et al.
Pubblicazione: (2023)

Quantum-Based Software Engineering
di: Zhao, Jianjun
Pubblicazione: (2025)

Software Testing in the Quantum World
di: Abreu, Rui, et al.
Pubblicazione: (2026)

A Black-box Testing Framework for Oracle Quantum Programs
di: Long, Peixun, et al.
Pubblicazione: (2025)

When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
di: Zhao, Jianjun
Pubblicazione: (2025)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
di: Guo, Xiaoyu, et al.
Pubblicazione: (2025)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
di: Long, Peixun, et al.
Pubblicazione: (2023)

AR2: Attention-Guided Repair for the Robustness of CNNs Against Common Corruptions
di: Zhang, Fuyuan, et al.
Pubblicazione: (2025)

M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
di: Guo, Xiaoyu, et al.
Pubblicazione: (2025)

A Roadmap for Software Testing in Open Collaborative Development Environments
di: Wang, Qing, et al.
Pubblicazione: (2024)

Architecture Decisions in Quantum Software Systems: An Empirical Study on Stack Exchange and GitHub
di: Aktar, Mst Shamima, et al.
Pubblicazione: (2023)

Advancing Quantum Software Engineering: A Vision of Hybrid Full-Stack Iterative Model
di: Khan, Arif Ali, et al.
Pubblicazione: (2024)

Detecting Flaky Tests in Quantum Software: A Dynamic Approach
di: Kim, Dongchan, et al.
Pubblicazione: (2025)

Randomized and Diverse Input State Generation for Quantum Program Testing
di: Ernzer, Maryse, et al.
Pubblicazione: (2026)

Testing Question Answering Software with Context-Driven Question Generation
di: Liu, Shuang, et al.
Pubblicazione: (2025)

Software Testing with Large Language Models: Survey, Landscape, and Vision
di: Wang, Junjie, et al.
Pubblicazione: (2023)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
di: Guo, Xiaoyu, et al.
Pubblicazione: (2024)

Full-Stack Quantum Software in Practice: Ecosystem, Stakeholders and Challenges
di: Stirbu, Vlad, et al.
Pubblicazione: (2023)

Industry Expectations and Skill Demands in Quantum Software Testing
di: Santos, Ronnie de Souza, et al.
Pubblicazione: (2025)

Large Language Models for Equivalent Mutant Detection: How Far Are We?
di: Tian, Zhao, et al.
Pubblicazione: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
di: Deng, Wenjing, et al.
Pubblicazione: (2024)

Mitigating Noise in Quantum Software Testing Using Machine Learning
di: Muqeet, Asmar, et al.
Pubblicazione: (2023)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice
di: Muqeet, Asmar, et al.
Pubblicazione: (2024)

Software Entropy: A Statistical Mechanics Framework for Software Testing
di: Fotinós, Jerónimo, et al.
Pubblicazione: (2026)

QuanBench: Benchmarking Quantum Code Generation with Large Language Models
di: Guo, Xiaoyu, et al.
Pubblicazione: (2025)

Understanding Fairness in Software Engineering: Insights from Stack Exchange
di: Sesari, Emeralda, et al.
Pubblicazione: (2024)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
di: Yang, Chen, et al.
Pubblicazione: (2026)

Quantum Software Engineering: Roadmap and Challenges Ahead
di: Murillo, Juan M., et al.
Pubblicazione: (2024)

Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators
di: Zhang, Kunpeng, et al.
Pubblicazione: (2025)

Assessing the Robustness of LLM-based NLP Software via Automated Testing
di: Xiao, Mingxuan, et al.
Pubblicazione: (2024)

Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
di: Trae Research Team, et al.
Pubblicazione: (2025)

Challenges and Practices in Quantum Software Testing and Debugging: Insights from Practitioners
di: Zappin, Jake, et al.
Pubblicazione: (2025)

Verify Implementation Equivalence of Large Models
di: Zhan, Qi, et al.
Pubblicazione: (2026)

From Conflicts to Collisions: A Two-Stage Collision Scenario-Testing Approach for Autonomous Driving Systems
di: Chen, Siyuan, et al.
Pubblicazione: (2026)