@INPROCEEDINGS{LeTraon00b,
  author = {Le~Traon, Yves and Ouabdesselam, Farid and Robach, Chantal},
  title = {Analyzing Testability on Data Flow Designs},
  booktitle = {International Symposium on Software Reliability Engineering 2000
	(ISSRE'2000)},
  year = {2000},
  address = {San Jose, CA},
  month = oct
}