A Little Bit of Crypto - I have been trying to figure out to "collision resistant" some of these standard hash functions are. It is a tough concept to get my head around. I figure...
Microsoft has announced the release of Code Digger. It is an extension to Visual Studio 2012. Code Digger analyzes your code and determines an interesting set of inputs which stimulates the paths in your code. The set of inputs is presented in a table that also shows the outputs from your code.
You need to have at least the Professional version of the Visual Studio. You can find the tool in the Visual Studio Gallery. It relies on the PEX engine to do its work. That's because it was created by the PEX team, which is essentially two dudes from Microsoft Research.
There are some other limitations. Your code must be .NET. And it only works on portable class libraries. When you set up your Visual Studio project, choose portable class library as the type. That will enable you to use Code Digger.