Jessica Chen. On Using Static Analysis in Distributed System Testing. In Wolfgang Emmerich, Stefan Tai, editors, Engineering Distributed Objects, Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers. Volume 1999 of Lecture Notes in Computer Science, pages 145-162, Springer, 2000. [doi]