Improved Underspecification for Model-based Testing in Agile Development

David Faragó. Improved Underspecification for Model-based Testing in Agile Development. In Stefan Gruner, Bernhard Rumpe, editors, FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). Volume 179 of LNI, pages 63-78, GI, 2010.

Abstract

Abstract is missing.