Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs.
Pengzhan ZhaoZhongtao MiaoShuhan LanJianjun ZhaoPublished in: J. Syst. Softw. (2023)
Keyphrases
- test cases
- programs written
- source code
- software testing
- program slicing
- symbolic execution
- software projects
- operating system
- software systems
- root cause
- static analysis
- set of test cases
- hardware designs
- bug fix
- java programs
- intermediate level
- neural network
- test data
- open source
- test generation
- test suite
- quantum computing
- computer programs
- software engineering
- bug localization
- case study