"Parameterized Unit Testing with Pex."

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