@inproceedings{DBLP:conf/icfem/TasharofiAS06,
author = {Samira Tasharofi and
Sepand Ansari and
Marjan Sirjani},
title = {Generating Test Cases for Constraint Automata by Genetic
Symbiosis Algorithm},
booktitle = {ICFEM},
year = {2006},
pages = {478-493},
ee = {http://dx.doi.org/10.1007/11901433_26},
crossref = {DBLP:conf/icfem/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfem/2006,
editor = {Zhiming Liu and
Jifeng He},
title = {Formal Methods and Software Engineering, 8th International
Conference on Formal Engineering Methods, ICFEM 2006, Macao,
China, November 1-3, 2006, Proceedings},
booktitle = {ICFEM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4260},
year = {2006},
isbn = {3-540-47460-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
