@INPROCEEDINGS{Jeron98a,
  author = {Jéron, Thierry and Jézé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
}