Property-Based Testing and Debugging of Quantum Programs (Keynote).
Mohammad Reza MousaviPublished in: Programming (2024)
Keyphrases
- software testing
- symbolic execution
- java programs
- hardware designs
- novice programmers
- test cases
- program slicing
- key issues
- concurrent programs
- information retrieval
- automatic programming
- quantum computation
- desirable properties
- fault localization
- neural network
- test data generation
- logic circuits
- test generation
- static analysis
- computer programs
- model based diagnosis
- artificial intelligence
- probability ranking principle