Symbolic Execution for Dynamic, Evolutionary Test Data Generation. - Anastasis A. Sofokleous; Andreas S. Andreou; Antonis Kourras (ICEIS (1), 2009)