Actually, Pex it's not a fish, it's Program EXploration, tool for test generation and dynamic analysis designed by Microsoft Research . Examples of features can be found on the project page . In shortcut, Pex is able to analyse .NET application and use...