Parameterized Unit Testing with Pex: Tutorial.
Nikolai TillmannJonathan de HalleuxWolfram SchultePublished in: PSSE (2007)
Keyphrases
- symbolic execution
- unit testing
- test cases
- test data generation
- software testing
- test generation
- static analysis
- integration testing
- test suite
- dynamic analysis
- source code
- specification language
- test data
- software development
- black box
- error rate
- data flow
- general purpose
- testing process
- tool suite
- knowledge management