@InProceedings{XDM05ASE,
  title =	"Automated test generation for engineering
		 applications",
  author =	"S. Xia and B. Di Vito and C. Mu{\~n}oz",
  bibdate =	"2006-02-13",
  bibsource =	"DBLP,
		 http://dblp.uni-trier.de/db/conf/kbse/ase2005.html#XiaVM05",
  booktitle =	"20th {IEEE}/{ACM} International Conference on
		 Automated Software Engineering ({ASE} 2005), November
		 7-11, 2005, Long Beach, {CA}, {USA}",
  publisher =	"ACM",
  year = 	"2005",
  editor =	"David F. Redmiles and Thomas Ellman and Andrea
		 Zisman",
  pages =	"283--286",
  URL =  	"http://doi.acm.org/10.1145/1101908.1101951",
}