论文信息 - Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022) - 字舞流文

Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022)

Shaukat Ali | Tao Yue | Paolo Arcaini | Xinyi Wang | Shaukat Ali | Xinyi Wang | T. Yue | Paolo Arcaini

[1] Lionel C. Briand,et al. A practical guide for using statistical tests to assess randomized algorithms in software engineering , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[2] Javier Del Ser,et al. jMetalPy: a Python Framework for Multi-Objective Optimization with Metaheuristics , 2019, Swarm Evol. Comput..

[3] Gordon Fraser,et al. Parameter tuning or default values? An empirical investigation in search-based software engineering , 2013, Empirical Software Engineering.

[4] Gushu Li,et al. Projection-based runtime assertions for testing and debugging Quantum programs , 2020, Proc. ACM Program. Lang..

[5] Gregory T. Byrd,et al. Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation , 2020, ASPLOS.

[6] Rajagopal Nagarajan,et al. Property-based Testing of Quantum Programs in Q# , 2020, ICSE.