Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Fundação de Amparo à Pesquisa do Estado de São Paulo
University of Leicester
Publisher
Springer Science and Business Media LLC
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
2. Automata Learning for Dynamic Software Product Lines;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28
3. Trustworthy Autonomous Systems Through Verifiability;Computer;2023-02
4. Compositional Learning for Interleaving Parallel Automata;Lecture Notes in Computer Science;2023
5. A benchmark for active learning of variability-intensive systems;Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A;2022-09-12