Generating test cases for specification mining. - Valentin Dallmeier; Nikolai Knopp; Christoph Mallon; Sebastian Hack; Andreas Zeller (ISSTA, 2010)

Automatically Generating Test Cases for Specification Mining. - Valentin Dallmeier; Nikolai Knopp; Christoph Mallon; Gordon Fraser 001; Sebastian Hack; Andreas Zeller (IEEE Trans. Software Eng., 2012)