Peli has just posted a good post on using Pex in a TDD fashion to create a binary heap. In case you don't know, Peli is actually one of the guys working on Pex at MSR so if you have a chance do give it a look ;-) " Pex (Program EXploration) is an intelligent...