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

Fri 6 Oct

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

10:30 - 12:00
Session C7: Testing with Models & Workflow ModelingJournal-first / Tools and Demonstrations at 301
10:30
22m
Talk
Gotten: A Model-driven Solution to Engineer Domain-specific Metamorphic Testing EnvironmentsTool Demo
Tools and Demonstrations
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
10:52
22m
Talk
MMT: Mutation Testing of Java Bytecode with Model TransformationTool Demo
Tools and Demonstrations
Christoph Bockisch Philipps-Universität Marburg, Daniel Neufeld , Gabriele Taentzer Philipps-Universität Marburg
11:15
22m
Talk
Business process modeling language selection for research modelersJ1ST
Journal-first
Siamak Farshidi Utrecht University, Izaak Beer Kwantes , Slinger Jansen Utrecht University, Netherlands
11:37
22m
Talk
Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST
Journal-first
Johannes Erbel , Jens Grabowski University of Göttingen