On Using Static Analysis in Distributed System Testing

@inproceedings{Chen2000OnUS,
  title={On Using Static Analysis in Distributed System Testing},
  author={Jessica Szu-Chia Chen},
  booktitle={EDO},
  year={2000}
}