One of the advantages that Pex has is that it automatically reviews all the executing paths of the code you type, and so, it helps you in building a better, more defensive code.
For example, if we do a very simple function like this:
public int MethodToBeTested(int i, int j) { return i / j; }
When you ...
[Read More]