Adrián Riesco. Using Semantics Specified in Maude to Generate Test Cases. In Abhik Roychoudhury, Meenakshi D'Souza, editors, Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Volume 7521 of Lecture Notes in Computer Science, pages 90-104, Springer, 2012. [doi]
Abstract is missing.