Nikolai Tillmann Jonathan de Halleux White-box testing of behavioral web service contracts with Pex. 47-48 2008 TAV-WEB http://doi.acm.org/10.1145/1390832.1390840 conf/issta/2008t db/conf/issta/tavweb2008.html#TillmannH08