Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning. Automated test generation for synchronous controllers. In Christof J. Budnik, Gordon Fraser, Francesca Lonetti, editors, Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016. pages 1-7, ACM, 2016. [doi]
Abstract is missing.