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.

Research artifact on the oracle problem for quantum software testing

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.

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.