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

Nikolai Tillmann, Jonathan de Halleux

Browse the full ISSTA paper archive.