"Combinatorial generation of structurally complex test inputs for ..."

Hua Zhong, Lingming Zhang, Sarfraz Khurshid (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics