Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Parameterized Unit Testing with Pex (Tutorial)
Parameterized Unit Testing with Pex (Tutorial)

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.

In: Proc. of Tests and Proofs (TAP'08)

Publisher: Springer Verlag
All copyrights reserved by Springer 2007.

Details

Type: Inproceedings
URL: http://dx.doi.org/10.1007/978-3-540-79124-9_12
Pages: 171–181
Volume: 4966
Series: LNCS
Address: Prato, Italy