On Testing Quantum Programs.

Andriy V. Miranskyy Lei Zhang

Published in: CoRR (2018)

Keyphrases

symbolic execution
computer programs
quantum computing
quantum inspired
set of test cases
quantum evolutionary algorithm
database
real time
real world
database systems
test cases
test suite
fixpoint
quantum mechanics
control structures
quantum computation