Projection-based runtime assertions for testing and debugging Quantum programs.
Gushu LiLi ZhouNengkun YuYufei DingMingsheng YingYuan XiePublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- software testing
- java programs
- hardware designs
- symbolic execution
- novice programmers
- program slicing
- quantum computation
- test cases
- knowledge base
- fault localization
- quantum mechanics
- automatic programming
- test suite
- computer programs
- software engineering
- dynamic analysis
- computationally efficient
- information technology
- test data
- e learning
- neural network
- databases
- set of test cases
- database