Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Tue 7 Jul 2020 16:29 - 16:35 at Goguryeo - A5-Testing and Debugging 2 Chair(s): Marcelo d'Amorim

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they face an inevitable task of debugging their code. How should the programs for quantum computers be debugged?

In this paper, we discuss existing debugging tactics, used in developing programs for classic computers, and show which ones can be readily adopted. We also highlight QC-specific debugging issues and list novel techniques that are needed to address these issues. The practitioners can readily apply some of these tactics to their process of writing quantum programs, while researchers can learn about opportunities for future work.

Tue 7 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

16:05 - 17:05
A5-Testing and Debugging 2Demonstrations / New Ideas and Emerging Results / Technical Papers at Goguryeo
Chair(s): Marcelo d'Amorim Federal University of Pernambuco
16:05
12m
Talk
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic ExecutionArtifact ReusableTechnicalArtifact Available
Technical Papers
Hui Guo University of California, Davis, Cindy Rubio-González University of California, Davis
16:17
12m
Talk
A Study on the Lifecycle of Flaky TestsTechnical
Technical Papers
Wing Lam University of Illinois at Urbana-Champaign, Kıvanç Muşlu Microsoft, Hitesh Sajnani Microsoft , Suresh Thummalapenta Microsoft
16:29
6m
Talk
Is Your Quantum Program Bug-Free?New Ideas and Emerging Results Distinguished Paper AwardsNIER
New Ideas and Emerging Results
Andriy Miranskyy Ryerson University, Lei Zhang Ryerson University, Javad Doliskani Ryerson University, Toronto, Canada
Pre-print
16:35
3m
Talk
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test ScenariosDemo
Demonstrations
Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
16:38
12m
Talk
Ankou: Guiding Grey-box Fuzzing towards Combinatorial DifferenceArtifact ReusableTechnicalArtifact Available
Technical Papers
Valentin Manès CSRC, KAIST, Soomin Kim KAIST, Sang Kil Cha KAIST
16:50
3m
Talk
PG-KLEE: Trading Soundness for CoverageDemo
Demonstrations
Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
16:53
6m
Talk
Blending Kinematic and Software Models for Tighter Reachability AnalysisNIER
New Ideas and Emerging Results
Carl Hildebrandt University of Virginia, Sebastian Elbaum University of Virginia, USA, Nicola Bezzo University of Virginia