Symbolic Execution for Dynamic, Evolutionary Test Data Generation

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.

Authors

Anastasis A. Sofokleous

This author has not been identified. Look up 'Anastasis A. Sofokleous' in Google

Andreas S. Andreou

This author has not been identified. Look up 'Andreas S. Andreou' in Google

Antonis Kourras

This author has not been identified. Look up 'Antonis Kourras' in Google