Using temporal relations to specify and test an instant messaging server

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]

Abstract

Abstract is missing.