White-box testing of behavioral web service contracts with Pex

Nikolai Tillmann and Jonathan de Halleux

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.

Details

Publication typeInproceedings
Published inTAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
URLhttp://doi.acm.org/10.1145/1390832.1390840
Pages47–48
ISBN978-1-60558-053-1
AddressNew York, NY, USA
PublisherAssociation for Computing Machinery, Inc.
> Publications > White-box testing of behavioral web service contracts with Pex