%0 Journal Article %1 10.1109/ICSE.1996.493403 %A Korel, B. %A Al-Yami, A.M. %C Los Alamitos, CA, USA %D 1996 %I IEEE Computer Society %J icse %K assertions automated data generation single system test %P 71 %R http://doi.ieeecomputersociety.org/10.1109/ICSE.1996.493403 %T Assertion-oriented automated test data generation %V 00

@article{10.1109/ICSE.1996.493403, added-at = {2008-05-14T11:52:01.000+0200}, address = {Los Alamitos, CA, USA}, author = {Korel, B. and Al-Yami, A.M.}, biburl = {https://www.bibsonomy.org/bibtex/210ecb63b6d1d3302d7e4ebfdfc984f6f/ist_spl}, description = {Assertion-oriented automated test data generation}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICSE.1996.493403}, interhash = {f0ce37038fcc5b5e971b3266d77e29e4}, intrahash = {10ecb63b6d1d3302d7e4ebfdfc984f6f}, issn = {0270-5257}, journal = {icse}, keywords = {assertions automated data generation single system test}, 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}, timestamp = {2008-05-14T11:52:01.000+0200}, title = {Assertion-oriented automated test data generation}, volume = 00, year = 1996 }