@article{10.1109/ICSE.1996.493403,
title = {Assertion-oriented automated test data generation},
address = {Los Alamitos, CA, USA},
author = {B. Korel and A.M. Al-Yami},
journal = {icse},
note = {ST: Testdaten werden mit Hilfe der Assertions automatisch abgeleitet. Das Ziel ist es Testdaten abzuleiten die die Assertion verletzen. Mit dieser Vorgehensweise werden mehr Fehler gefunden als mit herkömmlichen Methoden.},
pages = {71},
publisher = {IEEE Computer Society},
volume = {00},
year = {1996},
description = {Assertion-oriented automated test data generation},
issn = {0270-5257}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICSE.1996.493403},
keywords = {assertions automated data generation single system test }
}
::