How I can get PEX to auto-generate unit tests in Visual Studio 2013?
I can auto-generate unit tests with PEX in visual studio 2010 and the menu was found by right clicking in the function body.
We did not release a version for Visual Studio 2013. The good news is that you can now do that same auto-generation of unit tests in Visual Studio 2015 using the "Smart Unit Tests" feature.
For Visual Studio 2013, they do provide PEX framework (lightweight version) named as CodeDigger.
But CodeDigger is limited that it just generates a table of all the possible combinations of inputs and output.
No options to copy that table or Save any of the test suites.
CodeDigger gives a minimal help. Not so great
来源：https://stackoverflow.com/questions/25599771/how-can-i-get-pex-to-auto-generate-unit-tests