Publications (1)0 Total impact
-
Conference Proceeding: Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings; 01/2006
