Using temporal relations to specify and test an instant messaging server.

John Hughes, Ulf Norell, Jrme Sautret

Browse the full ICSE paper archive.