Prioritized Variable-length Test Cases Generation for Finite State Machines (ITEQS 2022) - ICST 2022

Write a Blog >>

Mon 4 - Fri 8 April 2022

Who

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 4 Apr 2022 10:30 - 10:50 at Marlyn Meltzer - ITEQS II

Vaclav Rechtberger

Czech Technical University in Prague

Miroslav Bures

Czech Technical University, Czechia

Czechia

Bestoun S. Ahmed

Karlstad University Sweden

Sweden

Youcef Belkhier

Czech Technical University in Prague

Jiri Nema

University of Defence

Hynek Schvach

University of Defence

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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

	10:10 - 11:10	ITEQS IIITEQS at Marlyn Meltzer

	10:10 20m Talk		Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks ITEQS Manh-Dung Nguyen Montimage R&D, France, Vinh Hoa La Montimage, Ana R. Cavalli Montimage, Edgardo Montes de Oca Montimage
	10:30 20m Talk		Prioritized Variable-length Test Cases Generation for Finite State Machines ITEQS Vaclav Rechtberger Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Bestoun S. Ahmed Karlstad University Sweden, Youcef Belkhier Czech Technical University in Prague, Jiri Nema University of Defence, Hynek Schvach University of Defence
	10:50 20m Talk		Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits ITEQS Jarkko Peltomäki Åbo Akademi University, Ivan Porres Åbo Akademi University