@inproceedings{tillmann2008parameterized, author = {Tillmann, Nikolai and de Halleux, Peli}, title = {Parameterized Unit Testing with Pex (Tutorial)}, series = {LNCS}, booktitle = {Proc. of Tests and Proofs (TAP'08)}, year = {2008}, month = {April}, 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.}, publisher = {Springer Verlag}, url = {http://approjects.co.za/?big=en-us/research/publication/parameterized-unit-testing-with-pex-tutorial/}, pages = {171-181}, volume = {4966}, edition = {Proc. of Tests and Proofs (TAP'08)}, }