An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning (MODELS 2023 - Technical Track) - MODELS 2023

Sun 1 - Fri 6 October 2023 Västerås, Sweden

Who

Bharat Garhewal, Carlos Diego Nascimento Damasceno

Track

MODELS 2023 Technical 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

Wed 4 Oct 2023 11:15 - 11:37 at 301 - Session B1: Validation and Verification

Bharat Garhewal

Carlos Diego Nascimento Damasceno

Radboud University Nijmegen, Netherlands

Netherlands

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 4 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:30 - 12:00	Session B1: Validation and VerificationTechnical Track at 301

	10:30 22m Talk		OCL Rebuilt, From the Ground Up Technical Track Friedrich Steimann Fernuniversität in Hagen, Robert Clarisó Universitat Oberta de Catalunya, Martin Gogolla University of Bremen
	10:52 22m Talk		Applicability of Model Checking for Verifying Spacecraft Operational Designs Technical Track Philipp Chrszon , Paulina Maurer , George Saleip , Sascha Müller , Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne
	11:15 22m Talk		An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning Technical Track Bharat Garhewal , Carlos Diego Nascimento Damasceno Radboud University Nijmegen, Netherlands
	11:37 22m Talk		Mutation Testing for Temporal Alloy Models Technical Track Ana Jovanovic , Allison Sullivan The University of Texas at Arlington