Property-based Testing of Quantum Programs in Q#.

Shahin Honarvar Mohammad Reza Mousavi Rajagopal Nagarajan

Published in: ICSE (Workshops) (2020)

Keyphrases

symbolic execution
neural network
desirable properties
programming environment
test cases
automatic programming
quantum computation
machine learning
information retrieval
social networks
information systems
relational databases
computer programs
concurrent programs