Passive testing of communicating systems with timeouts
Journal:
Information and Software Technology
ISSN: 0950-5849
Year of publication: 2015
Volume: 64
Pages: 19-35
Type: Conference paper