A multi-lingual benchmark for property-based testing of quantum programs
Gabriel Pontolillo, Mohammad Reza Mousavi
Abstract
We present a multi-lingual benchmark for (property-based) testing of quantum programs. We report on the methodology used to design our benchmark and the rationale behind its design decisions.
Topics & Concepts
Benchmark (surveying)Property (philosophy)Computer scienceProperty testingQuantumTheoretical computer scienceAlgorithmPhysicsGeologyPhilosophyQuantum mechanicsGeodesyEpistemologyQuantum Computing Algorithms and ArchitectureQuantum Information and CryptographyQuantum Mechanics and Applications