A web service exposes a public API that can be accessed by potentially hostile clients over the internet. Pex, a white-box test generation tool for .NET, can automatically create test inputs that cover comer cases of a web service implemented in .NET, simulating a malicous attacker.
['Nikolai Tillmann', 'Jonathan de Halleux']
White-box testing of behavioral web service contracts with Pex