{"author":[{"last_name":"Schnelte","full_name":"Schnelte, Matthias","first_name":"Matthias"},{"first_name":"Baris","last_name":"Güldali","full_name":"Güldali, Baris"}],"status":"public","date_updated":"2022-01-06T07:03:55Z","year":"2010","_id":"8449","language":[{"iso":"eng"}],"type":"conference","page":"(accepted for publication)","date_created":"2019-03-06T16:20:47Z","title":"Test Case Generation for Visual Contracts Using AI Planning","publication":"INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI)","department":[{"_id":"66"}],"user_id":"52534","place":"Bonn","publisher":"Gesellschaft für Informatik (GI)","citation":{"ieee":"M. Schnelte and B. Güldali, “Test Case Generation for Visual Contracts Using AI Planning,” in <i>INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI)</i>, 2010, p. (accepted for publication).","apa":"Schnelte, M., &#38; Güldali, B. (2010). Test Case Generation for Visual Contracts Using AI Planning. In <i>INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI)</i> (p. (accepted for publication)). Bonn: Gesellschaft für Informatik (GI).","mla":"Schnelte, Matthias, and Baris Güldali. “Test Case Generation for Visual Contracts Using AI Planning.” <i>INFORMATIK 2010, Beiträge Der 40. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI)</i>, Gesellschaft für Informatik (GI), 2010, p. (accepted for publication).","ama":"Schnelte M, Güldali B. Test Case Generation for Visual Contracts Using AI Planning. In: <i>INFORMATIK 2010, Beiträge Der 40. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI)</i>. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2010:(accepted for publication).","chicago":"Schnelte, Matthias, and Baris Güldali. “Test Case Generation for Visual Contracts Using AI Planning.” In <i>INFORMATIK 2010, Beiträge Der 40. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI)</i>, (accepted for publication). Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2010.","bibtex":"@inproceedings{Schnelte_Güldali_2010, place={Bonn}, series={Lecture Notes in Informatics}, title={Test Case Generation for Visual Contracts Using AI Planning}, booktitle={INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI)}, publisher={Gesellschaft für Informatik (GI)}, author={Schnelte, Matthias and Güldali, Baris}, year={2010}, pages={(accepted for publication)}, collection={Lecture Notes in Informatics} }","short":"M. Schnelte, B. Güldali, in: INFORMATIK 2010, Beiträge Der 40. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Gesellschaft für Informatik (GI), Bonn, 2010, p. (accepted for publication)."},"series_title":"Lecture Notes in Informatics"}