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]
No references recorded for this publication.
No citations of this publication recorded.