"Parameterized Unit Testing with Pex."

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