Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs.
Peixun LongJianjun ZhaoPublished in: CoRR (2023)
Keyphrases
- black box
- white box
- test cases
- integration testing
- white box testing
- black boxes
- hybrid systems
- rule extraction
- quantum mechanics
- software testing
- symbolic execution
- quantum inspired
- test generation
- test data
- test set
- quantum computation
- state transition
- artificial intelligence
- datalog programs
- test suite
- rough set theory
- data management
- case study