Cited By
View all- (1995)ReferencesScalable Shared-Memory Multiprocessing10.1016/B978-1-55860-315-8.50017-8(317-331)Online publication date: 1995
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test (IUT) from producing outputs, while the IUT does not block inputs from ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in