Microsoft Research Community
Welcome to Microsoft Research Community
Sign in
|
Join
|
Rules
in
Pex, Automated White Box Testing...
Foundations of Software Engineering
(Entire Site)
Search
Home
Blogs
Forums
Pex, Automated White Box Testing for .Net
Pex is an automated white box test generation tool for .Net developed at Microsoft Research.
This Blog
Home
About
Syndication
RSS
Atom
Comments RSS
Team Members
Nikolai Tillmann
Peli de Halleux
Related Projects
Z3
Spec#
FSE
©2007 Microsoft Corporation. All rights reserved.
Terms of Use
|
Trademarks
|
Privacy Statement
|
Feedback