John Hughes, Ulf Norell, Jérôme Sautret. Using temporal relations to specify and test an instant messaging server. In Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer, editors, The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa. pages 95-102, ACM, 2010. [doi]
@inproceedings{HughesNS10,
title = {Using temporal relations to specify and test an instant messaging server},
author = {John Hughes and Ulf Norell and Jérôme Sautret},
year = {2010},
doi = {10.1145/1808266.1808281},
url = {http://doi.acm.org/10.1145/1808266.1808281},
researchr = {https://researchr.org/publication/HughesNS10},
cites = {0},
citedby = {0},
pages = {95-102},
booktitle = {The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa},
editor = {Hong Zhu and W. K. Chan and Christof J. Budnik and Gregory M. Kapfhammer},
publisher = {ACM},
isbn = {978-1-60558-970-1},
}