qATG: Automatic Test Generation for Quantum Circuits.
Chen-Hung WuCheng-Yun HsiehJiun-Yun LiJames Chien-Mo LiPublished in: ITC (2020)
Keyphrases
- test generation
- quantum computing
- test cases
- test sequences
- symbolic execution
- logic circuits
- static analysis
- design automation
- logic synthesis
- quantum mechanics
- software testing
- quality assurance
- mutation testing
- high speed
- high level
- decision trees
- computer vision
- artificial intelligence
- machine learning
- real world
- databases