@inproceedings{bafd9b9ddebc47e8a7f9b3352786199e,
title = "Active Model Learning of Git Version Control System",
abstract = "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.",
keywords = "active automata learning, Git, model learning, version control",
author = "Edi Muskardin and Tamim Burgstaller and Martin Tappler and Aichernig, {Bernhard K.}",
note = "Publisher Copyright: {\textcopyright} 2024 IEEE.; 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024 ; Conference date: 27-05-2024 Through 31-05-2024",
year = "2024",
month = sep,
day = "17",
doi = "10.1109/ICSTW60967.2024.00024",
language = "English",
series = "Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "78--82",
booktitle = "Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024",
address = "United States",
}