Nikolai Tillmann

@JohnLudlow: It's not just mobile code, but just consider the growing landscape of Windows Phone apps, Windows Store apps, desktop apps. Your best bet is to use Portable Class Libraries if you want to share code between all platforms. In any case, stay tuned for a full Pex release with more features!

@aljj: You don't actually need exceptions or asserts. Code Digger will try to create inputs that trigger each branch in your code. If your code can throw exception or contains assertions, then you just get more valuable feedback on how your code might fail.

@Andrii: There is no full Pex for VS2012 available yet. Install Code Digger for VS2012 if you want to get the Pex-like ability to explore code in Portable Class Libraries.

You can now use basic Linq statements: http://www.pexforfun.com/Default.aspx?language=CSharp&sample=Linq