RQCODE: Security Requirements Formalization with Testing (ICTSS 2023 - IFIP-ICTSS 35th International Conference on Testing Software and Systems) - ICTSS 2023

Mon 18 - Wed 20 September 2023 Bergamo, Italy

Who

Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe

Track

ICTSS 2023 IFIP-ICTSS 35th International Conference on Testing Software and Systems

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

Wed 20 Sep 2023 14:00 - 14:30 at Room 5 - Conference room - Session on Test design and Model Based testing Chair(s): Claudio Menghi

Ildar Nigmatullin

Andrey Sadovykh

Softeam

France

Sophie Ebersold

Nan Messe

IRIT - University of Toulouse

France

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

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

	14:00 - 15:20	Session on Test design and Model Based testing IFIP-ICTSS 35th International Conference on Testing Software and Systems at Room 5 - Conference room Chair(s): Claudio Menghi University of Bergamo; McMaster University

	14:00 30m Talk		RQCODE: Security Requirements Formalization with Testing IFIP-ICTSS 35th International Conference on Testing Software and Systems Ildar Nigmatullin , Andrey Sadovykh Softeam, Sophie Ebersold , Nan Messe IRIT - University of Toulouse
	14:30 30m Talk		Prioritizing test cases with Markov Chains: a Preliminary Investigation IFIP-ICTSS 35th International Conference on Testing Software and Systems Luciana Rebelo GSSI, Érica F. Souza Federal Technological University of Paraná, Cornélio Procópio - PR, Gian Berkenbrock , Gerson Barbosa Eldorado Institute, Marlon Silva , André T. Endo Federal University of São Carlos, Brazil, Nandamudi Vijaykumar , Catia Trubiani Gran Sasso Science Institute
	15:00 20m Talk		Probabilistic approach for minimizing checking sequences for non-deterministic FSMs IFIP-ICTSS 35th International Conference on Testing Software and Systems Natalia Kushik SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Nina Yevtushenko , Jorge Lopez Airbus