Keyphrases
- test cases
- symbolic execution
- search based software testing
- case study
- concurrent programs
- doctoral consortium
- test suite
- set of test cases
- quantum computing
- databases
- computer programs
- test data
- evolutionary algorithm
- search engine
- test generation
- program execution
- test set
- quantum genetic algorithm
- high level
- website
- quantum computation