Abstractions for Model-Based Testing

Wolfgang Prenninger, Alexander Pretschner. Abstractions for Model-Based Testing. Electronic Notes in Theoretical Computer Science, 116:59-71, 2005. [doi]

Abstract

Abstract is missing.