Sébastien Salva, Elliott Blot. CkTail: Model Learning of Communicating Systems. In Raian Ali, Hermann Kaindl, Leszek A. Maciaszek, editors, Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020. pages 27-38, SCITEPRESS, 2020. [doi]
Abstract is missing.