Anastasis A. Sofokleous, Andreas S. Andreou, Antonis Kourras
Symbolic Execution for Dynamic, Evolutionary Test Data Generation
ICEIS, 2009.
@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, }