David Lo, Siau-Cheng Khoo. QUARK: Empirical Assessment of Automaton-based Specification Miners. In 13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy. pages 51-60, IEEE Computer Society, 2006. [doi]
Abstract is missing.