Test Sequence Generation from Formal Specifications of Distributed Programs.

Richard H. Carver, Kuo-Chung Tai

Browse the full ICDCS paper archive.