This program is tentative and subject to change.
Tue 17 Sep 2024 11:45 - 11:55 at EI 2 Pichelmayer - Student Presentations - I
The reliability of a network is a crucial requirement for systems such as IoT, client-server, or cloud-based solutions. Unfortunately, real networks cannot be assumed to be fault-free, especially when considering various hardware problems, performance issues, or malicious attacks. Testing networked systems should therefore include evaluating fault tolerance under various network conditions. The paper presents a doctoral research project on automated verification of networked systems using fault-attack injection using a derived model of network communication.
This program is tentative and subject to change.
Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 15mTalk | Soft Verification for Actor Contract Systems Doctoral Symposium Bram Vandenbogaerde Vrije Universiteit Brussel | ||
10:45 10mTalk | Search-Based Translations for Tensor Operations Doctoral Symposium Jie Qiu Duolingo | ||
10:55 10mTalk | Integrating Mutation Techniques to Keep Specification and Source Code in Sync Doctoral Symposium Kerstin Jacob University of Bamberg | ||
11:05 10mTalk | Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs Doctoral Symposium Alix Decrop University of Namur | ||
11:15 15mTalk | Shaping Test Inputs in Grammar-Based Fuzzing Doctoral Symposium José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security | ||
11:30 15mTalk | Robustness against the C/C++11 memory model Doctoral Symposium Roy Margalit Tel Aviv University, Israel | ||
11:45 10mTalk | Automated Testing of Networked Systems Reliability Doctoral Symposium Michal Rozsíval Faculty of Information Technology, Brno University of Technology |
Information for Participants
Tue 17 Sep 2024 10:30 - 12:00 at EI 2 Pichelmayer - Student Presentations - I
Info for room EI 2 Pichelmayer: