On Using Static Analysis in Distributed System Testing

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]

@inproceedings{Chen00:9,
  title = {On Using Static Analysis in Distributed System Testing},
  author = {Jessica Chen},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1999/19990145.htm},
  tags = {testing, analysis, static analysis},
  researchr = {https://researchr.org/publication/Chen00%3A9},
  cites = {0},
  citedby = {0},
  pages = {145-162},
  booktitle = {Engineering Distributed Objects, Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers},
  editor = {Wolfgang Emmerich and Stefan Tai},
  volume = {1999},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41792-3},
}