According to the Pex website, the new version will be released in November 2011:
... We plan to release the next update in November 2011 ....
In addition, they have a list of recent Microsoft blogs, etc. (last April 2011), so I donβt think he is dead.
Update: On the Pex website:
NEW: Code Digger for Visual Studio 2012 and 2013 is a lightweight version of Pex that allows you to learn public .NET methods in portable class libraries directly from the code editor. Under the hood, Code Digger uses a Pex engine.
source share