Equivalence, identity, and unitarity checking in black-box testing of quantum programs.

Peixun Long Jianjun Zhao

Published in: J. Syst. Softw. (2024)

Keyphrases

black box
white box
integration testing
test cases
white box testing
black boxes
symbolic execution
test generation
software testing
rule extraction
quantum computing
hybrid systems
fixpoint
database systems
databases
quantum inspired
database applications
quantum computation
artificial intelligence