Pex Extensions

  •        89

Repository for all open source things related to Pex from Microsoft Research, such as examples, custom test frameworks, additional mocks, best practices, or any other type of extensions.



Related Projects


Binary heap (priority queue) implementation using TDD and automated tests generation with Pex

Shweet: SharePoint 2010 Team Messaging built with Pex

Shweet is a simple SharePoint Foundation 2010 application that allows teams to do messaging and subscriptions in the style similar to twitter. Developed as an example application built for SharePoint using Pex and Moles for unit testing and Code Contracts.

BizUnit - Framework for Automated Testing of Distributed Systems

The adoption of an automated testing strategy is fundamental in reducing the risk associated with software development projects, it is key to ensuring that you deliver high quality software. Often, the overhead associated with developing automated tests is seen as excessive an...


A Sample app demonstrating how to use Microsoft Pex and Code Digger. These samples are for the Article in DNC Magazine Issue 7 (July-August 2013).

EasyRepro - Automated UI testing API for Dynamics 365

The purpose of this library is to provide Dynamics customers the ability to facilitate automated UI testing for their projects. These API's provide an easy to use set of commands that make setting up UI testing quick and easy. The functionality provided covers the core CRM commands that end users would perform on a typical workday and working to extend that coverage to more functionality.Selenium is a set of different software tools each with a different approach to supporting browser automation. These tools are highly flexible, allowing many options for locating and manipulating elements within a browser, and one of its key features is the support for automating multiple browser platforms. This package contains the .NET bindings for the newer, more concise and object-based Selenium WebDriver API, which uses native OS-level events to manipulate the browser, bypassing the JavaScript sandbox, and does not require the Selenium Server to automate the browser.

pex-packages - package library for pex (

package library for pex (

trying-jasmine - Experimenting with the Jasmine Testing Framework (Automated tests via Grunt)

Experimenting with the Jasmine Testing Framework (Automated tests via Grunt)

Selenium - Web app testing tool

Selenium is a suite of tools such as Selenium IDE, Selenium Remote Control and Selenium Grid to test the web application. Selenium IDE is an integrated development environment for Selenium scripts. It is implemented as a Firefox extension, and allows you to record, edit, and debug tests. It supports record and playback.


A test assertion library to assist in writing automated tests against websites. Allows for assertion of HTML validity, etc. Initially has support for MSTest but core is separated to allow for wrapping in layers for other testing frameworks later.


Transacts all changes to a website to facilitate automated UI testing. Queries from the automated test can also query the application database without blocking and participate in the transaction. Using transactions with an automated test is not typically a problem in situations where the code being tested runs in the same process as the test runner. However, transacting UI tests of a web application is challenging because the tests do not run in the ASP.NET worker process.

Arquillian - Testing Platform for JVM

Arquillian is an innovative and highly extensible testing platform for the JVM that enables developers to easily create automated integration, functional and acceptance tests for Java middleware. Arquillian handles all the plumbing of container management, deployment and framework initialization so you can focus on the task at hand, writing your tests. Real tests.


Automated testing for Enigma, tests compatibility with a large number of game maker projects

AATT - Automated Accessibility Testing Tool

Browser-based accessibility testing tools and plugins require manually testing each page, one at a time. Tools that can crawl a website can only scan pages that do not require login credentials, and that are not behind a firewall. Instead of developing, testing, and using a separate accessibility test suite, you can now integrate accessibility testing into your existing automation test suite using AATT.AATT tests web applications regarding conformance to the Web Content Accessibility Guidelines (WCAG) 2.0. Find a list of the WCAG 2.0 rules checked by HTMLCS Engine on the HTML CodeSniffer WCAG Standard Summary page and Chrome Engine on the Google Chrome Developer Audit rules. AATT provides an accessibility API and custom web application for HTML CodeSniffer, Axe and Chrome developer tool. Using the AATT web application, you can configure test server configurations inside the firewall, and test individual pages.

XFree86-PEX - PEX extension library

PEX extension library

pex - Pex


talks-pex-and-moles - This is the code from my Pex and Moles talk.

This is the code from my Pex and Moles talk.


A group of Java-based testing tools and JUnit extensions aimed at increasing quality awareness and ease of introduction of testing tools into the development cycle. Examples are Automated documentation, class hierarchy unit testing, and code coverage.

windowtester - Automatically exported from

WindowTester Pro is a UI test generation tool for testing SWT and Swing Java applications. WindowTester Pro eliminates the need to manually create test cases to test GUIs by automating the process of GUI testing. Using WindowTester Pro, developers can easily create tests for every GUI they create. The tests generated by WindowTester Pro are standard JUnit tests thus they can be run within your Eclipse environment or they can be automated to run using Ant. Typically, tests are recorded on projects within your Eclipse environment.


Transacts all changes to a website to facilitate automated UI testing. Queries from the automated test can also query the application database without blocking and participate in the transaction.