Pex-White Box Test Generation for .NET.

Nikolai Tillmann Jonathan de Halleux

Published in: TAP (2008)

Keyphrases

symbolic execution
test generation
white box
test cases
black box
source code
static analysis
test data
test sequences
test data generation
software testing
design automation
source code metrics
test suite
test set
open source
software engineering
object oriented
quality assurance
machine learning
case study