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.
@inproceedings{SofokleousAK09,
title = {Symbolic Execution for Dynamic, Evolutionary Test Data Generation},
author = {Anastasis A. Sofokleous and Andreas S. Andreou and Antonis Kourras},
year = {2009},
tags = {testing, data-flow},
researchr = {https://researchr.org/publication/SofokleousAK09},
cites = {0},
citedby = {0},
pages = {144-150},
booktitle = {ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume DISI, Milan, Italy, May 6-10, 2009},
editor = {José Cordeiro and Joaquim Filipe},
isbn = {978-989-8111-84-5},
}