@ARTICLE{Nebut06a,
  author = {Nebut, Clémentine and Fleurey, Franck and Le~Traon, Yves and J\'ez\'equel,
	Jean-Marc},
  title = {Automatic Test Generation: A Use Case Driven Approach},
  journal = {IEEE Transactions on Software Engineering},
  year = {2006},
  volume = {32},
  pages = {140--155},
  number = {3},
  month = mar
}