Pex-White Box Test Generation for .NET.

Nikolai Tillmann, Jonathan de Halleux

Browse the full TAP paper archive.