Model-Based Testing 2010: Short Abstracts

Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai. Model-Based Testing 2010: Short Abstracts. Electronic Notes in Theoretical Computer Science, 264(3):85-99, 2010. [doi]

Abstract

Abstract is missing.