Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
Fri 8 Apr 2022 13:00 - 13:35 at Margaret Hamilton - ICST Doctoral Symposium Chair(s): Sinem Getir Yaman, Wishnu Prasetya

For the deployment of autonomous robotic systems in mission- and safety-critical underwater environments, aspects such as reasoning and planning need to be designed to operate in highly dynamic, uncertain environments while assuring a safe and reliable operation. Systems are often deployed without a prior safety assessment or developed with safety analysis as a separate engineering process. In this paper, to tackle these challenges, we propose an initial research vision and plan with the envisioned contributions towards designing an approach for system-wide modeling and Model-Based Testing to support safety assessments of autonomous underwater robots.

Fri 8 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 15:30
ICST Doctoral SymposiumDoctoral Symposium at Margaret Hamilton
Chair(s): Sinem Getir Yaman Ege University, Turkey, Wishnu Prasetya Utrecht University
10:00
5m
Day opening
Opening ICST Doctoral Symposium
Doctoral Symposium

10:05
20m
Talk
Invited Talk: Doing PhD in Software Engineering, a Look Back
Doctoral Symposium
Sinem Getir Yaman Ege University, Turkey
10:25
35m
Talk
Automated GUI-based Software-Testing Using Deep Neuroevolution
Doctoral Symposium
Daniel Zimmermann FZI Research Center for Information Technology
11:00
35m
Talk
Debugger-driven Embedded FuzzingBest Submission Award
Doctoral Symposium
Max Eisele Robert Bosch GmbH
11:35
85m
Lunch
Lunch
Doctoral Symposium

13:00
35m
Talk
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
Doctoral Symposium
Sergio Quijano IT University of Copenhagen
13:35
35m
Talk
Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods
Doctoral Symposium
Amirfarhad Nilizadeh University of Central Florida
14:10
20m
Break
Break
Doctoral Symposium

14:30
60m
Other
Discussion Session
Doctoral Symposium