Parameterized unit testing with Pex

Authors:
Jonathan De Halleux;Nikolai Tillmann
Affiliations:
Microsoft Research, Redmond, WA;Microsoft Research, Redmond, WA
Venue:
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Year:
2008

Citing 2
Cited 7

Parameterized unit tests

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic test factoring for java

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification

TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Using program data-state scarcity to guide automatic test data generation

Software Quality Control
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

Journal of Automated Reasoning
Testing techniques in software engineering

Testing techniques in software engineering
Interleaving symbolic execution and partial evaluation

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Covana: precise identification of problems in pex

Proceedings of the 33rd International Conference on Software Engineering
AutoBlackTest: a tool for automatic black-box testing

Proceedings of the 33rd International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This hands-on tutorial will teach the principles of Parameterized Unit Testing [5,4] with Pex [2], an automatic test input generator for .NET which performs a systematic program analysis, similar to path bounded model-checking. A parameterized unit test is simply a method that takes parameters, calls the code under test, and states assertions.