Microsoft Research: Pex - Automated White box Testing for .NETresearch.microsoft.com1 point·ilitirit··0 commentsOpen articleSaveView on HN