Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño. Generation and Refinement of Testing Models. In Burcu Kulahcioglu Ozkan, Kiko Fernandez-Reyes, editors, Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023. pages 14-23, ACM, 2023. [doi]
Abstract is missing.