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

TypeInproceedings
URLhttp://dx.doi.org/10.1007/978-3-540-79124-9_12
Pages171–181
Volume4966
SeriesLNCS
AddressPrato, Italy
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Parameterized Unit Testing with Pex (Tutorial)