Clément Poncelet Sanchez, Florent Jacquemard. Model based testing of an interactive music system. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 1759-1764, ACM, 2015. [doi]
Abstract is missing.