"Parameterized unit testing: theory and practice."

Nikolai Tillmann, Jonathan de Halleux, Tao Xie (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics