Generation and Refinement of Testing Models

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]

Authors

Luis Eduardo Bueso de Barrio

This author has not been identified. Look up 'Luis Eduardo Bueso de Barrio' in Google

Lars-Åke Fredlund

This author has not been identified. Look up 'Lars-Åke Fredlund' in Google

Clara Benac Earle

This author has not been identified. Look up 'Clara Benac Earle' in Google

Ángel Herranz

This author has not been identified. Look up 'Ángel Herranz' in Google

Julio Mariño

This author has not been identified. Look up 'Julio Mariño' in Google