Bence Graics, Milán Mondok, Vince Molnár, István Majzik. Model-Based Testing of Asynchronously Communicating Distributed Controllers. In Javier Cámara, Sung-Shik Jongmans, editors, Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Volume 14485 of Lecture Notes in Computer Science, pages 23-44, Springer, 2023. [doi]
Abstract is missing.