Microsoft Research: Pex - Automated White box Testing for .NETresearch.microsoft.com1 pointilitirit17 years ago