Pex

URL

Change Log

When What
September 10th, 2015 Donated by Nikolai Tillmann

Reference

Studies who have been using the data (in any form) are required to include the following reference:

@inproceedings{Tillmann:2008:PWB:1792786.1792798,
 author = {Tillmann, Nikolai and De Halleux, Jonathan},
 title = {Pex: White Box Test Generation for .NET},
 booktitle = {Proceedings of the 2Nd International Conference on Tests and Proofs},
 series = {TAP'08},
 year = {2008},
 isbn = {3-540-79123-X, 978-3-540-79123-2},
 location = {Prato, Italy},
 pages = {134--153},
 numpages = {20},
 url = {http://dl.acm.org/citation.cfm?id=1792786.1792798},
 acmid = {1792798},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

About the Data

Overview of Data

The data contains Pex installation package.

Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with high code coverage.

Pex for Fun

Research Page

Attribute Information

Paper Abstract

Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce new test inputs which exercise different program behavior. The result is an automatically generated small test suite which often achieves high code coverage. In one case study, we applied Pex to a core component of the .NET runtime which had already been extensively tested over several years. Pex found errors, including a serious issue.