MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden
Wed 4 Oct 2023 10:52 - 11:15 at 301 - Session B1: Validation and Verification

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