Search dblp for Publications

export results for "toc:db/conf/issta/tavweb2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issta/BaresiGP08,
  author    = {Luciano Baresi and
               Sam Guinea and
               Liliana Pasquale},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Towards a unified framework for the monitoring and recovery of {BPEL}
               processes},
  booktitle = {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},
  pages     = {15--19},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390835},
  doi       = {10.1145/1390832.1390835},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/BaresiGP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FuQ08,
  author    = {Xiang Fu and
               Kai Qian},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {{SAFELI:} {SQL} injection scanner using symbolic execution},
  booktitle = {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},
  pages     = {34--39},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390838},
  doi       = {10.1145/1390832.1390838},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/FuQ08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HughesBA08,
  author    = {Graham Hughes and
               Tevfik Bultan and
               Muath Alkhalaf},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Client and server verification for web services using interface grammars},
  booktitle = {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},
  pages     = {40--46},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390839},
  doi       = {10.1145/1390832.1390839},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/HughesBA08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KarusseitMW08,
  author    = {Martin Karusseit and
               Tiziana Margaria and
               Holger Willebrandt},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Policy expression and checking in XACML, WS-Policies, and the jABC},
  booktitle = {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},
  pages     = {20--26},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390836},
  doi       = {10.1145/1390832.1390836},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/issta/KarusseitMW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LiHX08,
  author    = {Nuo Li and
               JeeHyun Hwang and
               Tao Xie},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Multiple-implementation testing for {XACML} implementations},
  booktitle = {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},
  pages     = {27--33},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390837},
  doi       = {10.1145/1390832.1390837},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/LiHX08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RaffeltMSM08,
  author    = {Harald Raffelt and
               Tiziana Margaria and
               Bernhard Steffen and
               Maik Merten},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Hybrid test of web applications with webtest},
  booktitle = {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},
  pages     = {1--7},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390833},
  doi       = {10.1145/1390832.1390833},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/issta/RaffeltMSM08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RuthT08,
  author    = {Michael Ruth and
               Shengru Tu},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Empirical studies of a decentralized regression test selection framework
               for web services},
  booktitle = {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},
  pages     = {8--14},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390834},
  doi       = {10.1145/1390832.1390834},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/RuthT08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TillmannH08,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {White-box testing of behavioral web service contracts with Pex},
  booktitle = {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},
  pages     = {47--48},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390840},
  doi       = {10.1145/1390832.1390840},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/TillmannH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-053-1},
  timestamp = {Thu, 14 Aug 2008 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/issta/2008t.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics