@ARTICLE{Baudry05d,
  author = {Baudry, Benoit and Fleurey, Franck and J\'{e}z\'{e}quel, Jean-Marc
	and Le~Traon, Yves},
  title = {Automatic Test Cases Optimization: a Bacteriologic Algorithm},
  journal = {IEEE Software},
  year = {2005},
  volume = {22},
  pages = {76--82},
  number = {2},
  month = mar
}