Look into Microsoft's CHESS proejct which analyzes the code to quickly converge ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		_3u10 on March 28, 2011 \| parent \| context \| favorite \| on: Finding and Understanding Bugs in C Compilers Look into Microsoft's CHESS proejct which analyzes the code to quickly converge on error cases as well as a system by which thread interleaving is predictable and thus testable. It actually tests every possible combination of thread interleaving through a code path.

zwp on March 29, 2011 [–]

Also the fantastic Microsoft Pex: http://research.microsoft.com/en-us/projects/pex/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact