Symbolic Execution for Quantum Error Correction Programs.
Wang FangMingsheng YingPublished in: CoRR (2023)
Keyphrases
- error correction
- symbolic execution
- static analysis
- test generation
- test data generation
- source code
- specification language
- data hiding
- error detection
- error correcting
- data flow
- channel coding
- turbo codes
- error control
- channel capacity
- error detection and correction
- open source
- watermarking scheme
- particle swarm optimization