Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs.

Shaukat Ali Paolo Arcaini Xinyi Wang Tao Yue

Published in: ICST (2021)

Keyphrases

input data
set of test cases
test cases
test suite
desired output
symbolic execution
genetic algorithm
multiple output
computer programs
evaluation criteria
high level
real time
multi criteria
input variables
software testing
multiple input
multi objective
information systems