@inproceedings{tillmann2008white-box,
author = {Tillmann, Nikolai and Halleux, Jonathan "Peli" de},
title = {White-Box Testing of Behavioral Web Service Contracts With Pex},
booktitle = {TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications},
year = {2008},
month = {January},
abstract = {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.},
publisher = {Association for Computing Machinery, Inc.},
url = {http://approjects.co.za/?big=en-us/research/publication/white-box-testing-of-behavioral-web-service-contracts-with-pex/},
pages = {47-48},
isbn = {978-1-60558-053-1},
edition = {TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications},
}