Small Test Suites for Active Automata Learning

Authors :: Finkbeiner, B.
Kruger, L.
Junges, S.
Rot, J.
Finkbeiner, B.
Kruger, L.
Junges, S.
Rot, J.
Source :: Finkbeiner, B. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, pp. 109-129
Publication Year :: 2024
Abstract: Contains fulltext : 306317.pdf (Publisher’s version ) (Open Access)<br />TACAS 2024; ETAPS 2024

Database :: OAIster
Journal :: Finkbeiner, B. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, pp. 109-129
Publication Type :: Electronic Resource
Accession number :: edsoai.on1443486821
Document Type :: Electronic Resource