"Automatic Search-based Testing with the Required k-tuples Criterion."

Anastasis A. Sofokleous, Andria Krokou, Andreas S. Andreou (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics