@techreport{R-88-23, TITLE = {Two Contributions on Debugging Distributed System}, AUTHOR = {Johan Fagerstr{\"o}m and Yngve Larsson }, YEAR = {1988}, NUMBER = {R-88-23}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-88-23+abstr}, ABSTRACT = {This report presents two extended abstract also published in a workshop on parallel and distributed debugging. The first by Johan Fagerstr{\"o}m presents a general framework for distributed system design and testing. The second paper, by Yngve Larsson, presents ideas around a set of debug tools.}, IDANR = {LiTH-IDA-R-88-23}, NOTE = {Also in Proc. of ACM SIGPLAN/SIGOPS, Workshop on Parallel and Distributed Debugging}