ICST 2023 (series) / ITEQS 2023 (series) /
ITEQS 2023 Program
This is the ITEQS 2023 program - see the full program for ICST 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 16 AprDisplayed time zone: Dublin change
Sun 16 Apr
Displayed time zone: Dublin change
09:00 - 10:30 | |||
09:00 5mTalk | ITEQS Opening ITEQS | ||
09:05 55mKeynote | Keynote: Learning-based Testing of Robustness and Time ITEQS | ||
10:00 30mTalk | Automated and Systematic Digital Twins Testing for Industrial Processes ITEQS Yunpeng Ma Karlstads Universitet, Khalil Younis Karlstads Universitet, Bestoun S. Ahmed Karlstad University, Andreas Kassler Karlstad University, Pavel Krakhmalev Karlstad University, Andreas Thore RISE Research Institutes of Sweden, Hans Lindback Bharat Forge Kilsta AB Pre-print |
11:00 - 12:30 | |||
11:00 30mTalk | Preliminary results in using attention for increasing attack identification efficiency ITEQS Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University, Jüri Vain Tallinn University of Technology, Estonia | ||
11:30 30mTalk | Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations (Best Paper) ITEQS Changhui Bae Gyeongsang National University, Euteum Choi Gyeongsang National Unviersity, Yong-Kee Jun Gyeongsang National University, Ok-Kyoon Ha Kyungwoon University | ||
12:00 30mTalk | Using Assurance Cases to assure the fulfillment of non-functional requirements of AI-based systems - Lessons learned ITEQS Marc Hauer TU Kaiserslautern - Algorithm Accountability Lab , Lena Müller-Kress winnovation consulting gmbh, Gertraud Leimüller winnovation consulting gmbh & leiwand.ai gmbh, Katharina Zweig TU Kaiserslautern - Algorithm Accountability Lab |
14:00 - 15:30 | |||
14:00 30mTalk | Bottleneck Analysis via Grammar-based Performance Fuzzing ITEQS | ||
14:30 30mTalk | Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS ITEQS | ||
15:00 10mTalk | Best paper award and closing ITEQS |