Nikolai Tillmann Jonathan de Halleux Pex-White Box Test Generation for .NET. 134-153 2008 TAP http://dx.doi.org/10.1007/978-3-540-79124-9_10 conf/tap/2008 db/conf/tap/tap2008.html#TillmannH08