White-box testing of behavioral web service contracts with Pex

Nikolai Tillmann, Jonathan de Halleux
2008 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08  
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 corner cases of a web service implemented in .NET, simulating a malicous attacker.
doi:10.1145/1390832.1390840 dblp:conf/issta/TillmannH08 fatcat:3qhaefeq3bba3f22wdrhnowybe