"Using program data-state scarcity to guide automatic test data generation."

Mohammad Alshraideh, Leonardo Bottaci, Basel A. Mahafzah (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics