Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Tue 16 Nov 2021 19:50 - 19:55 at Kangaroo - Code Chair(s): Michael Pradel
Thu 18 Nov 2021 20:06 - 20:08 at Kangaroo - Tool Demo (3) Chair(s): Mohamed Abdelrazek

Automation in quantum software testing is essential to support systematic and cost-effective testing. Towards this direction, we present a quantum software testing tool called Quito that can automatically generate test suites covering three coverage criteria defined on inputs and outputs of a quantum program coded in Qiskit, i.e., input coverage, output coverage, and input-output coverage. Quito also implements two types of test oracles based on program specifications, i.e., checking whether a quantum program produced a wrong output or checking a probabilistic test oracle with statistical test. We describe the architecture and methodology of the tool. We also validated the tool with one quantum program and one faulty version of it. Results indicate that Quito can generate test suites and perform test assessments that detect faults, and produce test results with a good time performance.

Tue 16 Nov

Displayed time zone: Hobart change

19:00 - 20:00
CodeTool Demonstrations / Research Papers / NIER track at Kangaroo
Chair(s): Michael Pradel University of Stuttgart
19:00
20m
Talk
EditSum: A Retrieve-and-Edit Framework for Source Code Summarization
Research Papers
Jia Li Peking University, Yongmin Li Peking University, Ge Li Peking University, Xing Hu Zhejiang University, Xin Xia Huawei Software Engineering Application Technology Lab, Zhi Jin Peking University
19:20
20m
Talk
Interactive Cross-language Code Retrieval with Auto-Encoders
Research Papers
Binger Chen Technische Universität Berlin, Ziawasch Abedjan Leibniz Universität Hannover
19:40
10m
Talk
Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination
NIER track
Max Hort University College London, Federica Sarro University College London
19:50
5m
Talk
Quito: a Coverage-Guided Test Generator for Quantum Programs
Tool Demonstrations
Xinyi Wang Nanjing University of Aeronautics and Astronautics, Nanjing, China, Paolo Arcaini National Institute of Informatics , Tao Yue Nanjing University of Aeronautics and Astronautics, Shaukat Ali Simula Research Laboratory, Norway
19:55
5m
Talk
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching
Tool Demonstrations
Oleg Smirnov JetBrains Research, Saint Petersburg State University, Artyom Lobanov JetBrains Research, Yaroslav Golubev JetBrains Research, Elena Tikhomirova JetBrains Research, Timofey Bryksin JetBrains Research; HSE University
Pre-print

Thu 18 Nov

Displayed time zone: Hobart change

20:00 - 21:00
Tool Demo (3)Tool Demonstrations at Kangaroo
Chair(s): Mohamed Abdelrazek Deakin University, Australia
20:00
2m
Talk
Muskit: A Mutation Analysis Tool for Quantum Software Testing
Tool Demonstrations
Eñaut Mendiluze Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics , Tao Yue Nanjing University of Aeronautics and Astronautics
20:02
2m
Talk
IncBL: Incremental Bug Localization
Tool Demonstrations
Zhou Yang Singapore Management University, Jieke Shi Singapore Management University, Shaowei Wang University of Manitoba, David Lo Singapore Management University
20:04
2m
Talk
FixMe: A GitHub Bot for Detecting and Monitoring On-hold Self-Admitted Technical Debt
Tool Demonstrations
Saranphon Phaithoon Mahidol University, Supakarn Wongnil Mahidol University, Patiphol Pussawong Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University, Rungroj Maipradit Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Kenichi Matsumoto Nara Institute of Science and Technology
Link to publication DOI Pre-print Media Attached
20:06
2m
Talk
Quito: a Coverage-Guided Test Generator for Quantum Programs
Tool Demonstrations
Xinyi Wang Nanjing University of Aeronautics and Astronautics, Nanjing, China, Paolo Arcaini National Institute of Informatics , Tao Yue Nanjing University of Aeronautics and Astronautics, Shaukat Ali Simula Research Laboratory, Norway
20:08
2m
Talk
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions
Tool Demonstrations
Yusuke Kimura Fujitsu Ltd., Takumi Akazaki Fujitsu Limited, Shinji Kikuchi Fujitsu Laboratories Ltd., Sonal Mahajan Fujitsu Research of America, Inc., Mukul Prasad Fujitsu Research of America
20:10
2m
Talk
JTDog: a Gradle Plugin for Dynamic Test Smell Detection
Tool Demonstrations
Masayuki Taniguchi Osaka University, Shinsuke Matsumoto Osaka University, Shinji Kusumoto Osaka University