Bogdan Korel, Ali M. Al-Yami
Assertion-Oriented Automated Test Data Generation
ICSE, 1996.
@inproceedings{ICSE-1996-KorelA,
acmid = "227726.227740",
author = "Bogdan Korel and Ali M. Al-Yami",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering}",
editor = "Hans Dieter Rombach and Thomas Stephen Edward Maibaum and Marvin V. Zelkowitz",
isbn = "0-8186-7246-3",
pages = "71--80",
publisher = "{IEEE Computer Society}",
title = "{Assertion-Oriented Automated Test Data Generation}",
year = 1996,
}