Complete Property-Oriented Module Testing (ICTSS 2023 - IFIP-ICTSS 35th International Conference on Testing Software and Systems) - ICTSS 2023

Mon 18 - Wed 20 September 2023 Bergamo, Italy

Who

Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Robert Sachtleben

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 10:10 - 10:40 at Room 5 - Conference room - Session on Model Based testing Chair(s): Chao Tan

Jan Peleska

Felix Brüning

Mario Gleirscher

University of Bremen

Germany

Wen-ling Huang

Niklas Krafczyk

Robert Sachtleben

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

	09:10 - 10:40	Session on Model Based testingIFIP-ICTSS 35th International Conference on Testing Software and Systems at Room 5 - Conference room Chair(s): Chao Tan

	09:10 30m Talk		Compositionality in Model-Based Testing IFIP-ICTSS 35th International Conference on Testing Software and Systems Gijs van Cuyck Radboud University Nijmegen, Lars van Arragon , Jan Tretmans Radboud University Nijmegen, TNO-ESI
	09:40 30m Talk		A Systematic Literature Review on prioritizing software test cases using Markov chains IFIP-ICTSS 35th International Conference on Testing Software and Systems Gerson Barbosa Eldorado Institute, Érica F. Souza Federal Technological University of Paraná, Cornélio Procópio - PR, Luciana Rebelo GSSI, Marlon Silva , Juliana Balera , Nandamudi Vijaykumar
	10:10 30m Talk		Complete Property-Oriented Module Testing IFIP-ICTSS 35th International Conference on Testing Software and Systems Jan Peleska , Felix Brüning , Mario Gleirscher University of Bremen, Wen-ling Huang , Niklas Krafczyk , Robert Sachtleben