BibTeX record conf/icse/HughesNS10

• > Home > conf/icse/HughesNS10

@inproceedings{DBLP:conf/icse/HughesNS10,
  author       = {John Hughes and
                  Ulf Norell and
                  J{\'{e}}r{\^{o}}me Sautret},
  editor       = {Hong Zhu and
                  W. K. Chan and
                  Christof J. Budnik and
                  Gregory M. Kapfhammer},
  title        = {Using temporal relations to specify and test an instant messaging
                  server},
  booktitle    = {The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4,
                  2010, Cape Town, South Africa},
  pages        = {95--102},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808266.1808281},
  doi          = {10.1145/1808266.1808281},
  timestamp    = {Wed, 02 Mar 2022 21:39:35 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HughesNS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}