Automatic Search-based Testing with the Required k-tuples Criterion. - Anastasis A. Sofokleous; Andria Krokou; Andreas S. Andreou (ICEIS (2), 2010)