id: 05761548
dt: a
an: 05761548
au: Tillmann, Nikolai; de Halleux, Jonathan; Schulte, Wolfram
ti: Parameterized unit testing with Pex: tutorial.
so: Borba, Paulo (ed.) et al., Testing techniques in software engineering.
    Second Pernambuco summer school on software engineering, PSSE 2007,
    Recife, Brazil, December 3‒7, 2007. Revised lectures. Berlin:
    Springer (ISBN 978-3-642-14334-2/pbk). Lecture Notes in Computer
    Science 6153, 141-202 (2010).
py: 2010
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-14335-9_5
ab: Summary: This hands-on tutorial teaches the principles of parameterized
    unit testing in Visual Studio with Pex, an automatic test input
    generator. A parameterized unit test (PUT) is simply a method that
    takes parameters, calls the code under test, and states assertions.
    Given a PUT written in a .NET language, Pex automatically produces a
    small test suite with high code and assertion coverage. Moreover, when
    a generated test fails, Pex can often suggest a bug fix. To do so, Pex
    performs a systematic program analysis, similar to path bounded
    model-checking. Pex learns the program behavior by monitoring execution
    traces, and uses a constraint solver to produce new test cases with
    different behavior. At Microsoft, this technique proved highly
    effective in testing even an extremely well-tested component.
rv: