Anastasis A. Sofokleous, Andreas S. Andreou, Antonis Kourras. Symbolic Execution for Dynamic, Evolutionary Test Data Generation. In José Cordeiro, Joaquim Filipe, editors, ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume DISI, Milan, Italy, May 6-10, 2009. pages 144-150, 2009.