Matthias Schnelte, Baris Güldali. Test Case Generation for Visual Contracts Using AI Planning. In Klaus-Peter Fähnrich, Bogdan Franczyk, editors, Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 2, 27.09. - 1.10.2010, Leipzig. Volume 176 of LNI, pages 369-374, GI, 2010.
@inproceedings{SchnelteG10,
title = {Test Case Generation for Visual Contracts Using AI Planning},
author = {Matthias Schnelte and Baris Güldali},
year = {2010},
tags = {contracts, testing},
researchr = {https://researchr.org/publication/SchnelteG10},
cites = {0},
citedby = {0},
pages = {369-374},
booktitle = {Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 2, 27.09. - 1.10.2010, Leipzig},
editor = {Klaus-Peter Fähnrich and Bogdan Franczyk},
volume = {176},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-270-3},
}