{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:11Z","timestamp":1750308611086,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1145\/3194733.3194740","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T12:22:47Z","timestamp":1530102167000},"page":"53-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Guided test case generation through AI enabled output space exploration"],"prefix":"10.1145","author":[{"given":"Christof","family":"Budnik","sequence":"first","affiliation":[{"name":"Siemens Corporate Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gario","sequence":"additional","affiliation":[{"name":"Siemens Corporate Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgi","family":"Markov","sequence":"additional","affiliation":[{"name":"Siemens Corporate Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhu","family":"Wang","sequence":"additional","affiliation":[{"name":"Siemens Corporate Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"unstructured":"Mart\u00edn Abadi et al. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. (2015). https:\/\/www.tensorflow.org\/ Software available from tensorflow.org.  Mart\u00edn Abadi et al. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. (2015). https:\/\/www.tensorflow.org\/ Software available from tensorflow.org.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/0950-5849(96)01103-2"},{"unstructured":"I. J. Goodfellow J. Shlens and C. Szegedy. 2014. Explaining and Harnessing Adversarial Examples. ArXiv e-prints (Dec. 2014). arXiv:stat.ML\/1412.6572  I. J. Goodfellow J. Shlens and C. Szegedy. 2014. Explaining and Harnessing Adversarial Examples. ArXiv e-prints (Dec. 2014). arXiv:stat.ML\/1412.6572","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/566171.566203"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/32.62448"},{"key":"e_1_3_2_1_6_1","article-title":"Generating expected results for automated black-box testing. In IEEE","author":"Schroeder Patrick J.","year":"2002","unstructured":"Patrick J. Schroeder , Pat Faherty , and Bogdan Korel . 2002 . Generating expected results for automated black-box testing. In IEEE Trans. Autom. Sci. Engin. 139--148. Patrick J. Schroeder, Pat Faherty, and Bogdan Korel. 2002. Generating expected results for automated black-box testing. In IEEE Trans. Autom. Sci. Engin. 139--148.","journal-title":"Trans. Autom. Sci. Engin. 139--148."},{"volume-title":"Practical Combinatorial Testing","author":"Kuhn D. Richard","unstructured":"D. Richard Kuhn , Raghu N. Kacker , and Yu Lei . 2010. SP 800--142. Practical Combinatorial Testing . Technical Report. Gaithersburg, MD , United States . D. Richard Kuhn, Raghu N. Kacker, and Yu Lei. 2010. SP 800--142. Practical Combinatorial Testing. Technical Report. Gaithersburg, MD, United States.","key":"e_1_3_2_1_7_1"},{"volume-title":"Reliability, Safety, and Security of Railway Systems","author":"Mitsch Stefan","unstructured":"Stefan Mitsch , Marco Gario , Christof J. Budnik , Michael Golm , and Andr\u00e9 Platzer . 2017. Formal Verification of Train Control with Air Pressure Brakes . In Reliability, Safety, and Security of Railway Systems . Modelling, Analysis, Verification, and Certification, Alessandro Fantechi, Thierry Lecomte, and Alexander Romanovsky (Eds.). Springer International Publishing , Cham , 173--191. Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, and Andr\u00e9 Platzer. 2017. Formal Verification of Train Control with Air Pressure Brakes. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Alessandro Fantechi, Thierry Lecomte, and Alexander Romanovsky (Eds.). Springer International Publishing, Cham, 173--191.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/347636.349042"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"acronym":"ICSE '18","name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden"},"container-title":["Proceedings of the 13th International Workshop on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194733.3194740","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3194733.3194740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:23Z","timestamp":1750273643000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194733.3194740"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":9,"alternative-id":["10.1145\/3194733.3194740","10.1145\/3194733"],"URL":"https:\/\/doi.org\/10.1145\/3194733.3194740","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}