ICST 2024 (series) / A-MOST 2024 (series) / A-MOST 2024 /
Active Model Learning of Git Version Control System
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.
Mon 27 MayDisplayed time zone: Eastern Time (US & Canada) change
Mon 27 May
Displayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mFull-paper | Active Model Learning for Software Interrogation and Diagnosis A-MOST | ||
14:30 30mShort-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 30mFull-paper | Bridging the Gap Between Models in RL: Test Models vs. Neural Networks A-MOST |