A Technique for Testing Large Distributed Systems. - John A. Masciola; Mark S. Lucas (ITC, 1982)