Testing and Debugging Quantum Programs: The Road to 2030.
Neilson Carlos Leite RamalhoHigor Amario de SouzaMarcos Lordello ChaimPublished in: CoRR (2024)
Keyphrases
- software testing
- hardware designs
- java programs
- test cases
- symbolic execution
- novice programmers
- computer programs
- test data generation
- program slicing
- test set
- test suite
- quantum computing
- moving vehicles
- quantum computation
- road surface
- road traffic
- genetic algorithm
- transportation networks
- formal verification
- vehicle detection
- model based diagnosis
- object oriented