Gábor Kovács, Gábor Ãrpád Németh, Mahadevan Subramaniam, Zoltán Pap. Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. In Rick Reed, Attila Bilgic, Reinhard Gotzhein, editors, SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings. Volume 5719 of Lecture Notes in Computer Science, pages 82-97, Springer, 2009. [doi]
Abstract is missing.