Seeding Contradiction: a fast method for generating full-coverage test suites (ICTSS 2023 - IFIP-ICTSS 35th International Conference on Testing Software and Systems)

Who

Li Huang, Bertrand Meyer, Manuel Oriol

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

Save

When

Tue 19 Sep 2023 14:00 - 14:30 at Room 5 - Conference room - Session on Test Generation Chair(s): Gregory Gay

Li Huang

Constructor Institute Schaffhausen

Bertrand Meyer

Constructor Institute Schaffhausen

Manuel Oriol

Constructor Institute Schaffhausen

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

Display full programSpecify a time band

Save

Session Program

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

14:00 - 15:30	Session on Test GenerationIFIP-ICTSS 35th International Conference on Testing Software and Systems at Room 5 - Conference room Chair(s): Gregory Gay Chalmers \| University of Gothenburg

14:00 30m Talk		Seeding Contradiction: a fast method for generating full-coverage test suites IFIP-ICTSS 35th International Conference on Testing Software and Systems Li Huang Constructor Institute Schaffhausen, Bertrand Meyer Constructor Institute Schaffhausen, Manuel Oriol Constructor Institute Schaffhausen
14:30 30m Talk		A Rapid Review on Fuzz Security Testing for Software Protocol Implementations IFIP-ICTSS 35th International Conference on Testing Software and Systems Alessandro Marchetto Università di Trento
15:00 30m Talk		On the Evaluation of Photometric Stereo Application Testing IFIP-ICTSS 35th International Conference on Testing Software and Systems Franz Wotawa Graz University of Technology, Ledio Jahaj Technische Universitaet Graz, Nicole Brosch