@inproceedings{ICEIS-DISI-2009-SofokleousAK,
	author        = "Anastasis A. Sofokleous and Andreas S. Andreou and Antonis Kourras",
	booktitle     = "{Proceedings of the 11th International Conference on Enterprise Information Systems, Volume 1: DISI}",
	isbn          = "978-989-8111-84-5",
	pages         = "144--150",
	title         = "{Symbolic Execution for Dynamic, Evolutionary Test Data Generation}",
	year          = 2009,
}