pex - white box test generation for . net .
Parameterized unit tests