On testing quantum programs.

Andriy V. Miranskyy Lei Zhang

Published in: ICSE (NIER) (2019)

Keyphrases

symbolic execution
real time
test generation
computer programs
data sets
neural network
learning algorithm
artificial intelligence
search algorithm
data model
test cases
test data
answer sets
programming environment
control program
quantum computation