Passive testing with asynchronous communications and timestamps

Merayo, M.G., Hierons, R.M. and Nunez, M. (2018) Passive testing with asynchronous communications and timestamps. Distributed Computing, 31 (5). pp. 327-342. ISSN 0178-2770



Copyright, Publisher and Additional Information: © Springer-Verlag GmbH Germany 2017. This is an author produced version of a paper subsequently published in Distributed Computing. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Model-based testing; Distributed systems; Timed systems
  • Accepted: 3 August 2017
  • Published (online): 10 August 2017
  • Published: October 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 18 Feb 2019 15:49
Last Modified: 18 Feb 2019 15:55
Published Version:
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number:
Related URLs:

Share / Export