quantum-software-engineering

Mutation testing for Qiskit quantum circuits: single-instruction removal mutants, oracle runs, equivalence checks and finite-shot sampling verdicts.

Quantum Executor: A Unified Interface for Quantum Computing

An open-source execution layer for quantum hardware — inspect and control the qubit-selection, scheduling, and routing decisions closed runtimes hide.

Quanifi: quantum software components for Apache NiFi

This repository includes the code and data involved in the manuscript '*Preparation and Utilization of Mixed States for Testing Quantum Programs*'.

This repository includes data, code, and documentation involved in our methodological analysis of empirical studies on quantum software testing.

An Execution-Level Benchmark Suite for Quantum Software Engineering

Eigen OS — an open-source hybrid quantum-classical runtime

A software-based Quantum Operating System MVP for managing quantum workloads, resources, and execution workflows in a simulated quantum computing environment.

Deterministic verification termination oracle (ContractGate) for FTQC quantum modules — exit 0 ⟺ sealed.json ⟺ loop terminates. Reuses established deterministic verification (tableau/ZX); novelty is the agentic-loop termination oracle + binary seal/registry + FTQC resource integration.

Research artifact on the oracle problem for quantum software testing

Quantum mutation testing for Qiskit circuits, delivered as a pytest plugin with automated diagnosis, noisy simulation, and IBM Quantum hardware support.

Modular benchmarking framework for implementing, analyzing, and comparing quantum algorithms using Qiskit.

Replication package for the qpa study on quantum software patterns: a local embedding matcher that detects pattern implementations in open-source projects, Neo4j composition graphs showing how framework primitives decompose, and an LLM-assisted knowledge base linking 286 components from five frameworks to a 61-pattern catalog.