Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. - Samira Tasharofi; Sepand Ansari; Marjan Sirjani (ICFEM, 2006)