REVIEW 8 cited by
Quantum Software Engineering: Landscapes and Horizons
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it has been drawing increasing attention recently. This paper defines the term "quantum software engineering" and introduces a quantum software life cycle. The paper also gives a generic view of quantum software engineering and discusses the quantum software engineering processes, methods, and tools. Based on these, the paper provides a comprehensive survey of the current state of the art in the field and presents the challenges and opportunities we face. The survey summarizes the technology available in the various phases of the quantum software life cycle, including quantum software requirements analysis, design, implementation, test, and maintenance. It also covers the crucial issues of quantum software reuse and measurement.
Forward citations
Cited by 8 Pith papers
-
High-level quantum structured programs as quantum registers compositions
A formal framework for structured quantum programming where operations act on entire quantum registers, demonstrated by a quantum SMT solver prototype.
-
KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models
KQFuzz uses library-source knowledge to guide LLM test generation and mutations, raising fuzzing coverage by up to 18.44% and finding 13 confirmed bugs in quantum libraries.
-
Shadow-Based Noise Fingerprinting of Simulated Quantum Noise Models
Physics-informed classical-shadow features from fixed 3-qubit probes let a random forest identify ten simulated quantum noise channels at 0.84 test accuracy.
-
A Course on the Introduction to Quantum Software Engineering: Experience Report
An experience report describes a modular course that enables students with minimal quantum exposure to work productively on quantum software engineering topics using executable artifacts and empirical reasoning.
-
On the Feasibility of Quantum Unit Testing
A large empirical study finds that the Inverse test, which reverses the expected circuit and checks for the all-zero state, detects quantum circuit mutations with fewer shots than statistical or Swap tests.
-
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
QuanUML extends UML with stereotypes and sequence-diagram conventions for qubits, gates, measurements, and classical control, demonstrated on dynamic circuits and Shor's algorithm.
-
Distinguishing Quantum Software Bugs from Hardware Noise: A Statistical Approach
The paper claims that bugs shift the set of most probable output states away from the desired states, while sub-threshold noise only spreads the distribution without changing those top states.
-
Quantum-Based Software Engineering
The paper names and scopes QBSE as applying quantum computing to classical software engineering tasks, distinguishes it from quantum software engineering, surveys early results, and proposes an agenda.
Discussion (0). Continue with ORCID to comment.