Model-based testing: where does it stand?

Robert V. Binder, Bruno Legeard, Anne Kramer. Model-based testing: where does it stand?. Communications of the ACM, 58(2):52-56, 2015. [doi]

Abstract

Abstract is missing.