TillmannH08'

BibTeX

@inproceedings{DBLP:conf/issta/TillmannH08,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {White-box testing of behavioral web service contracts with
               Pex},
  booktitle = {TAV-WEB},
  year      = {2008},
  pages     = {47-48},
  ee        = {http://doi.acm.org/10.1145/1390832.1390840},
  crossref  = {DBLP:conf/issta/2008t},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/issta/2008t,
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Proceedings of the 2008 Workshop on Testing, Analysis, and
               Verification of Web Services and Applications, held in conjunction
               with the ACM SIGSOFT International Symposium on Software
               Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle,
               Washington, USA, July 21, 2008},
  booktitle = {TAV-WEB},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-053-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}