TCSE logo 
 Sigsoft logo
Sustainability badge

Dates
Tue 29 Apr 2025
Wed 30 Apr 2025
Thu 1 May 2025
Fri 2 May 2025
Sat 3 May 2025
Rooms
103
205
207
209 Poster Area
214
Canada Hall 3 Poster Area
Tracks
ICSE Doctoral Symposium
ICSE Journal-first Papers
ICSE Panels and Special Sessions
ICSE Research Track
ICSE Tutorials and Technical Briefings
Q-SE
Badges
AI for SE
ARTIFACT
Analysis
Artifact-Available
Artifact-Functional
Artifact-Reusable
Award Winner
Blockchain
Design/Arch
Digital twins
Distinguished paper Award Candidate
FULL
Formal Methods
Hands-on
Human/Social
Prog. Comprehension/Reengg.
Quantum
Real-Time+Safety
Requirements
Research Methods
SE for AI
SHORT
Security
Testing and QA
Your Program
Nothing to filter

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 29 Apr

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

09:00 - 10:30
Tutorial 1 (Part 1)Tutorials and Technical Briefings at 103

This tutorial will introduce quantum computing in general, followed by an introduction to quantum software engineering. Next, it will cover QST in detail from various perspectives, such as an introduction to the topic, the current state of the art, some automated testing approaches, and future research directions. Finally, we will also demonstrate quantum software testing tools to show these tools in action.

For more information click here

09:00
90m
Tutorial
Tutorial 1: Quantum Software TestingTesting and QAQuantum
Tutorials and Technical Briefings
P: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, P: Xinyi Wang Simula Research Laboratory; University of Oslo, P: Asmar Muqeet Simula Research Laboratory and University of Oslo
11:00 - 12:30
11:00
90m
Tutorial
Tutorial 1: Quantum Software TestingTesting and QAQuantum
Tutorials and Technical Briefings
P: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, P: Xinyi Wang Simula Research Laboratory; University of Oslo, P: Asmar Muqeet Simula Research Laboratory and University of Oslo
16:00 - 18:00
SWEBOK Summit Session 4: Panel 2 and Future of SWEBOKPanels and Special Sessions at 205
17:40
15m
Talk
SWEBOK Summit Talk: Quantum Software Engineering: Future Trends in Software Engineering Body of KnowledgeQuantum
Panels and Special Sessions
P: Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, P: Paolo Arcaini National Institute of Informatics

Wed 30 Apr

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

13:30 - 14:00
13:30
30m
Poster
Pattern-based Generation and Adaptation of Quantum WorkflowsQuantum
Research Track
Martin Beisel Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Johanna Barzen University of Stuttgart, Frank Leymann University of Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Daniel Vietz University of Stuttgart, Benjamin Weder Institute of Architecture of Application Systems (IAAS), University of Stuttgart
15:30 - 16:00
15:30
30m
Talk
QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsQuantum
Journal-first Papers
Jinjing Shi Central South University, Zimeng Xiao Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University, Xuelong LI China Telecom

Thu 1 May

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

10:30 - 11:00
10:30
30m
Poster
Pattern-based Generation and Adaptation of Quantum WorkflowsQuantum
Research Track
Martin Beisel Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Johanna Barzen University of Stuttgart, Frank Leymann University of Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Daniel Vietz University of Stuttgart, Benjamin Weder Institute of Architecture of Application Systems (IAAS), University of Stuttgart
13:00 - 13:30
13:00
30m
Talk
QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsQuantum
Journal-first Papers
Jinjing Shi Central South University, Zimeng Xiao Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University, Xuelong LI China Telecom

Fri 2 May

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

16:00 - 17:30
16:00
15m
Talk
QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsQuantum
Journal-first Papers
Jinjing Shi Central South University, Zimeng Xiao Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University, Xuelong LI China Telecom
16:15
15m
Talk
Quantum Approximate Optimization Algorithm for Test Case OptimizationQuantum
Journal-first Papers
Xinyi Wang Simula Research Laboratory; University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Paolo Arcaini National Institute of Informatics
16:30
15m
Talk
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration TestingQuantum
Journal-first Papers
Peixun Long Institute of High Energy Physics, Chinese Academy of Science, Jianjun Zhao Kyushu University
16:45
15m
Talk
Mitigating Noise in Quantum Software Testing Using Machine LearningQuantum
Journal-first Papers
Asmar Muqeet Simula Research Laboratory and University of Oslo, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics , Asmar Muqeet Simula Research Laboratory and University of Oslo
17:00
15m
Talk
Test Case Minimization with Quantum AnnealingQuantum
Journal-first Papers
Xinyi Wang Simula Research Laboratory; University of Oslo, Asmar Muqeet Simula Research Laboratory and University of Oslo, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics
17:15
7m
Talk
When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer ForumsQuantumArtifact-Available
Research Track
Jake Zappin William and Mary, Trevor Stalnaker William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary

Sat 3 May

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

09:00 - 10:30
Opening and Keynote Q-SE at 207
Chair(s): Stefan Klikovits Johannes Kepler University, Linz, Mohammad Reza Mousavi King's College London
09:15
15m
Day opening
Opening RemarksQuantum
Q-SE
Mohammad Reza Mousavi King's College London, Stefan Klikovits Johannes Kepler University, Linz
09:30
60m
Keynote
The art of abstraction in quantum softwareQuantum
Q-SE
Olivia Di Matteo University of British Columbia
11:00 - 12:30
Session 2: Software Analysis and Defect Prediction Q-SE at 207
11:00
30m
Research paper
Towards Defect Prediction for Quantum SoftwareQuantum
Q-SE
Xuan Mao Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China, Zijie Huang Shanghai Key Laboratory of Computer Software Testing and Evaluation, Jianxin Ge , Chao Wang University of Southern California, Wuxu Wang , Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai Software Center
11:30
30m
Research paper
Quantum vs. Classical Machine Learning Algorithms for Software Defect Prediction: Challenges and OpportunitiesQuantum
Q-SE
Md Nadim University of Saskatchewan, Mohammad Hassan University of Prince Edward Island, Ashis Kumar Mandal Hajee Md. Danesh Science and Technology , Bangladesh, Chanchal K. Roy University of Saskatchewan, Canada
12:00
30m
Research paper
Quantum Pattern Detection: Accurate State- and Circuit-based AnalysesQuantum
Q-SE
Julian Shen Karlsruhe Institute of Technology, Joshua Ammermann Karlsruhe Institute of Technology (KIT), Christoph König Karlsruhe Institute of Technology, Ina Schaefer KIT
14:00 - 15:30
Session 3: Quantum Software DevelopmentQ-SE at 207
14:00
30m
Research paper
Analyzing, Fixing and Optimizing a Space-Efficient Quantum Circuit for the Graph K-Coloring ProblemQuantum
Q-SE
Oscar Belletti Politecnico di Milano, Simone Reale Politecnico di Milano, Elisabeta di Nitto Politecnico di Milano
14:30
30m
Research paper
The Quantum Program Dependence Graph and Its Uses in Quantum Software DevelopmentQuantum
Q-SE
Haibo Yu Kyushu Sangyo University, Jianjun Zhao Kyushu University
15:00
30m
Research paper
Qunicorn: A Middleware for the Unified Execution Across Heterogeneous Quantum Cloud OfferingsQuantum
Q-SE
Benjamin Weder Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Johanna Barzen University of Stuttgart, Martin Beisel Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Fabian Bühler , Daniel Georg , Frank Leymann University of Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems (IAAS), University of Stuttgart
16:00 - 17:30
Session 4: Industry-Academia Collaboration and Closing Q-SE at 207
16:00
20m
Short-paper
Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software EngineeringQuantum
Q-SE
Jake Zappin William and Mary, Trevor Stalnaker William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary
16:20
40m
Day closing
Closing and Next Q-SE Quantum
Q-SE
Mohammad Reza Mousavi King's College London, Stefan Klikovits Johannes Kepler University, Linz
:
: