%0 Conference Paper %1 conf/gi/SchnelteG10 %A Schnelte, Matthias %A Güldali, Baris %B GI Jahrestagung (2) %D 2010 %E Fähnrich, Klaus-Peter %E Franczyk, Bogdan %I GI %K dblp %P 369-374 %T Test Case Generation for Visual Contracts Using AI Planning. %U http://dblp.uni-trier.de/db/conf/gi/gi2010-2.html#SchnelteG10 %V P-176 %@ 978-3-88579-270-3

@inproceedings{conf/gi/SchnelteG10, added-at = {2023-07-04T00:00:00.000+0200}, author = {Schnelte, Matthias and Güldali, Baris}, biburl = {https://www.bibsonomy.org/bibtex/24dfbc777c9cb827f9410a234921df8f5/dblp}, booktitle = {GI Jahrestagung (2)}, crossref = {conf/gi/2010-2}, editor = {Fähnrich, Klaus-Peter and Franczyk, Bogdan}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings176/article6054.html}, interhash = {3ecd3edb637fed7747040a808cb3fa22}, intrahash = {4dfbc777c9cb827f9410a234921df8f5}, isbn = {978-3-88579-270-3}, keywords = {dblp}, pages = {369-374}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T22:16:59.000+0200}, title = {Test Case Generation for Visual Contracts Using AI Planning.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi2010-2.html#SchnelteG10}, volume = {P-176}, year = 2010 }