"White-box testing of behavioral web service contracts with Pex."

Nikolai Tillmann, Jonathan de Halleux (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics