Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün. Reducing locating sequences for testing from finite state machines. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1654-1659, ACM, 2016. [doi]
Abstract is missing.