Automatically Generating Test Cases for Specification Mining

Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Gordon Fraser, Sebastian Hack, Andreas Zeller. Automatically Generating Test Cases for Specification Mining. IEEE Trans. Software Eng., 38(2):243-257, 2012. [doi]

Abstract

Abstract is missing.