ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Mon 28 Oct 2024 11:00 - 11:20 at Carr - RENE Track Session

Quantum computing has been rapidly expanding, and many platforms for writing programs that can be compiled and run on quantum hardware (or simulated) are being developed. As with any compiler, transformation correctness is paramount as the machine readable code must maintain program semantics. Quantum programs are challenging to test given a lack of benchmark programs and the difficulty of defining an oracle. MorphQ solves both of these challenges by (1) generating syntactically correct quantum programs and (2) using metamorphic testing to avoid the oracle problem. However, Qiskit, the compiler it was built for, is rapidly evolving. This paper is a reproducibility study of the MorphQ platform, which we call MorphQ++. We have updated the core MorphQ engine to work on a newer version of Qiskit and added new metamorphic transformations. We find that our overall results are similar: we find a portion of the original faults (which were not yet fixed) and the distributions of types are not very different. Our new transformations lead to several new faults, suggesting there is room to expand the core framework. Additionally, we note the lack of power of the metamorphic relations in this context and suggest the need for more sophisticated relations and/or oracle evaluations.

Mon 28 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
RENE Track Session[Workshop] RENE at Carr
10:30
10m
Talk
Automatic Generation of Logical Specifications for Behavioural Models
[Workshop] RENE
Radoslaw Klimek AGH University of Krakow, Julia Witek AGH University of Krakow
10:40
20m
Talk
Group Discussion
[Workshop] RENE

11:00
20m
Talk
MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers
[Workshop] RENE
Linsey Kitt Iowa State University, Myra Cohen Iowa State University
11:20
20m
Day opening
RENE Track Opening Session
[Workshop] RENE

11:40
20m
Talk
Taxonomy of Security-related Issues in Android Apps: An Empirical Study
[Workshop] RENE
Teerath Das University of Jyväskylä, Adam Ali Mohammad Ali JInnah University, Tommi Mikkonen University of Jyvaskyla