Sneak Preview: Code Digger — The New Pex Experience

infoblog » Sneak Preview: Code Digger ??? The New Pex Experience

infoblog » Sneak Preview: Code Digger ??? The New Pex Experience — Tue, 21 Oct 2008 22:29:44 GMT

PingBack from http://blog.a-foton.ru/index.php/2008/10/21/sneak-preview-code-digger-%e2%80%94-the-new-pex-experience/

The Pex licence agreement

marklam — Wed, 22 Oct 2008 11:34:37 GMT

Integration with Visual Studio Team Suite Test Edition seems a bit of an odd feature when the licence for Pex prohibits "using the Software in the creation or use of commercial products" - are there many people who have Team Suite for non-commercial use?

Is this a sign that Pex is going to become a Team Suite feature, or that the licence agreement is going to be relaxed a bit?

re: Sneak Preview: Code Digger — The New Pex Experience

daniel_lidstrom — Wed, 22 Oct 2008 12:34:45 GMT

You are doing an amazing job! I'm looking forward to the next update of Pex :-)

Regards,

Daniel Lidström,

Stockholm, Sweden

Pex 0.8 Released, featuring Code Digger and Stubs

Nikolai Tillmann's Blog — Wed, 22 Oct 2008 23:53:32 GMT

We just released the most exciting iteration of Pex to this date: version 0.8. The Microsoft Research

re: The Pex licence agreement

nikolait — Thu, 23 Oct 2008 08:03:20 GMT

Hi Marklam,

the Pex team's goal is indeed to make Pex available under a different license eventually. Since you asked: There are indeed some non-commercial projects going on at universities, where researchers study based on Pex what the limits of dynamic test generation are. In any case, at this time the Pex team is looking for feedback to improve Pex.

re: Sneak Preview: Code Digger — The New Pex Experience

marklam — Thu, 23 Oct 2008 11:13:27 GMT

Hi Nikolai,

It's good to hear that the licence may not always prevent use by commercial developers.

I didn't mean to suggest that there wasn't any non-commercial use for Pex. I just thought that for non-commercial use, integration with Team Suite was a less obvious choice than with an open-source test framework.