Hadrien Bride, Jacques Julliand, Pierre-Alain Masson. Tri-modal under-approximation of event systems for test generation. 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 1737-1744, ACM, 2015. [doi]
Abstract is missing.