On computer communication network reliability under program execution constraints Abstract: The authors propose a technique to compute software system reliability (SSR). The method, called FARE (fast ...