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. 82-97 2009 SDL Forum http://dx.doi.org/10.1007/978-3-642-04554-7_6 conf/sdl/2009 db/conf/sdl/sdl2009.html#KovacsNSP09