@INPROCEEDINGS{Jeron98a,
  author = {J\'eron, Thierry and J\'{e}z\'{e}quel, Jean-Marc and Le~Guennec,
	Alain},
  title = {Validation and Test Generation for Object-Oriented Distributed Software},
  booktitle = {IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98,
	Kyoto, Japan},
  year = {1998},
  month = apr
}