When Model-based Testing Fails

B. K. Aichernig and C. George

Abstract:

Reference: B. K. Aichernig and C. George. When model-based testing fails. Electronic Notes in Theoretical Computer Science, 164(4):115-128, 2006.