{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:22:28Z","timestamp":1775838148568,"version":"3.50.1"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T00:00:00Z","timestamp":1658707200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T00:00:00Z","timestamp":1658707200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,7,25]]},"DOI":"10.1109\/indin51773.2022.9976069","type":"proceedings-article","created":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T20:05:02Z","timestamp":1671134702000},"page":"269-274","source":"Crossref","is-referenced-by-count":17,"title":["Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0"],"prefix":"10.1109","author":[{"given":"Torben","family":"Miny","sequence":"first","affiliation":[{"name":"RWTH Aachen University,Chair of Information and Automation Systems,Aachen,Germany"}]},{"given":"Sebastian","family":"Heppner","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Chair of Information and Automation Systems,Aachen,Germany"}]},{"given":"Igor","family":"Garmaev","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Chair of Information and Automation Systems,Aachen,Germany"}]},{"given":"Tobias","family":"Kleinert","sequence":"additional","affiliation":[{"name":"RWTH Aachen University,Chair of Information and Automation Systems,Aachen,Germany"}]},{"given":"Marko","family":"Ristin","sequence":"additional","affiliation":[{"name":"Zurich University of Applied Sciences (ZHAW),Institute of Mechatronic Systems,Zurich,Switzerland"}]},{"given":"Hans Wernher","family":"Van De Venn","sequence":"additional","affiliation":[{"name":"Zurich University of Applied Sciences (ZHAW),Institute of Mechatronic Systems,Zurich,Switzerland"}]},{"given":"Bjorn","family":"Otto","sequence":"additional","affiliation":[{"name":"Otto von Guericke University,Institute for Automation and Communication,Magdeburg,Germany"}]},{"given":"Karsten","family":"Meinecke","sequence":"additional","affiliation":[{"name":"Otto von Guericke University,Institute for Automation and Communication,Magdeburg,Germany"}]},{"given":"Christian","family":"Diedrich","sequence":"additional","affiliation":[{"name":"Otto von Guericke University,Institute for Automation and Communication,Magdeburg,Germany"}]},{"given":"Nico","family":"Braunisch","sequence":"additional","affiliation":[{"name":"TU Dresden,Institute of Applied Computer Science,Dresden,Germany"}]},{"given":"Martin","family":"Wollschlaeger","sequence":"additional","affiliation":[{"name":"TU Dresden,Institute of Applied Computer Science,Dresden,Germany"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613164"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref10","author":"belyaev","year":"2021","journal-title":"Exemplary modelling of a manufacturing plant with AASX Package Explorer based on the AAS metamodel"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.22"},{"key":"ref14","author":"sutton","year":"2007","journal-title":"Fuzzing Brute Force Vulnerability Discovery"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.100"},{"key":"ref18","article-title":"Model based testing","author":"apfelbaum","year":"1997","journal-title":"Software Quality Week Conference"},{"key":"ref19","author":"utting","year":"2010","journal-title":"Practical Model-Based Testing A Tools Approach"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref4","year":"2022","journal-title":"Details of the Asset Administration Shell - Part 1 - The exchange of informationen between partners in the value chain of Industrie 4 0 (Version 3 0RC02)"},{"key":"ref27","article-title":"Test-case reduction via test-case generation: Insights from the hypothesis reducer","author":"maciver","year":"2020","journal-title":"European Conference on Object-Oriented Programming (ECOOP)"},{"key":"ref3","author":"boss","year":"2020","journal-title":"Digital Twin and Asset Administration Shell Concepts and Application in the Industrial Internet and Industrie 4 0 An Industrial Internet Consortium and Plattform Industrie 4 0 Joint Whitepaper"},{"key":"ref6","year":"2020","journal-title":"Details of the Asset Administration Shell - Part 2- Interoperability at Runtime - Exchanging Information via Application Programming Interfaces (Version 1 0RC02)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2865935"},{"key":"ref5","article-title":"Verwaltungsschale","author":"boss","year":"2019","journal-title":"Handbuch Industrie 4 0 - Produktion Automatisierung und Logistik"},{"key":"ref8","article-title":"Usage view of asset administration shell","author":"braune","year":"2019","journal-title":"Tech Rep"},{"key":"ref7","year":"2021","journal-title":"Functional view of the asset administration shell in an industrie 4 0 system environment"},{"key":"ref2","first-page":"1","article-title":"Modeling, simulation, information technology & processing roadmap","volume":"32","author":"shafto","year":"2012","journal-title":"National Aeronautics and Space Administration"},{"key":"ref1","year":"2020","journal-title":"Leitbild 2030 für Industrie 4 0 – Digitale Ökosysteme global gestalten Bundesministerium für Wirtschaft und Energie"},{"key":"ref9","year":"2020","journal-title":"VDI\/VDE 2193 Blatt 1 2020-04 Language for I4 0 Components - Structure of messages"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"ref21","article-title":"In praise of property-based testing","author":"maciver","year":"2019"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01891"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092711"},{"key":"ref25","article-title":"Test generation through programming in UDITA","author":"gligori?","year":"2010","journal-title":"IEEE International Conference on Software Engineering (ICSE)"}],"event":{"name":"2022 IEEE 20th International Conference on Industrial Informatics (INDIN)","location":"Perth, Australia","start":{"date-parts":[[2022,7,25]]},"end":{"date-parts":[[2022,7,28]]}},"container-title":["2022 IEEE 20th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9975846\/9976066\/09976069.pdf?arnumber=9976069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T19:31:25Z","timestamp":1673897485000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9976069\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,25]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/indin51773.2022.9976069","relation":{},"subject":[],"published":{"date-parts":[[2022,7,25]]}}}