ICST 2024
Mon 27 - Fri 31 May 2024 Canada

This program is tentative and subject to change.

Mon 27 May 2024 14:30 - 15:00 at Room 4 - Session 3

Git is a distributed version control system that enables developers to seamlessly collaborate on a project. It tracks changes made to the source code and implements various features upon which the modern software development process is built. Reliance on Git in the software development process requires comprehensive testing to ensure its functionalities operate reliably and consistently across projects. We show how active automata learning can enable model-based testing of Git. Active automata learning automatically derives models of the input-output behavior of Git and learned models provide a foundation for model-based testing. In addition, learned models could be used to ensure compatibility between Git versions.

This program is tentative and subject to change.

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Session 3A-MOST at Room 4
14:00
30m
Full-paper
Active Model Learning for Software Interrogation and Diagnosis
A-MOST
Adam Porter University of Maryland, alan Karr
14:30
30m
Short-paper
Active Model Learning of Git Version Control System
A-MOST
Edi Muskardin , Tamim Burgstaller , Martin Tappler TU Wien, Austria, Bernhard Aichernig Graz University of Technology
15:00
30m
Full-paper
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks
A-MOST
Martin Tappler TU Wien, Austria, Florian Lorber Silicon Austria Labs