{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:02:05Z","timestamp":1743048125128,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031177149"},{"type":"electronic","value":"9783031177156"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17715-6_2","type":"book-chapter","created":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T09:02:27Z","timestamp":1664701347000},"page":"7-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Generalized Test Tables: A Domain-Specific Specification Language for\u00a0Automated Production Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9672-3291","authenticated-orcid":false,"given":"Bernhard","family":"Beckert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2350-1831","authenticated-orcid":false,"given":"Mattias","family":"Ulbrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2785-8819","authenticated-orcid":false,"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8446-4598","authenticated-orcid":false,"given":"Alexander","family":"Weigl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: an overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49\u201369. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-30569-9_3"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-21437-0_17","volume-title":"FM 2011: Formal Methods","author":"G Barthe","year":"2011","unstructured":"Barthe, G., Crespo, J.M., Kunz, C.: Relational verification using product programs. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 200\u2013214. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_17"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-66845-1_9","volume-title":"Integrated Formal Methods","author":"B Beckert","year":"2017","unstructured":"Beckert, B., Cha, S., Ulbrich, M., Vogel-Heuser, B., Weigl, A.: Generalised test tables: a practical specification language for reactive systems. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 129\u2013144. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66845-1_9"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-72308-2_3","volume-title":"Verified Software. Theories, Tools, and Experiments","author":"B Beckert","year":"2017","unstructured":"Beckert, B., Schiffl, J., Schmitt, P.H., Ulbrich, M.: Proving JDK\u2019s dual pivot quicksort correct. In: Paskevich, A., Wies, T. (eds.) VSTTE 2017. LNCS, vol. 10712, pp. 35\u201348. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72308-2_3"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-98047-8_3","volume-title":"Principled Software Development","author":"B Beckert","year":"2018","unstructured":"Beckert, B., Ulbrich, M.: Trends in relational program verification. In: Principled Software Development, pp. 41\u201358. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98047-8_3"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"de Boer, M., de Gouw, S., Klamroth, J., Jung, C., Ulbrich, M., Weigl, A.: Formal specification and verification of JDK\u2019s identity hash map implementation. In: ter Beek, M.H., Monahan, R. (eds.) Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7\u201310, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13274, pp. 45\u201362. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07727-2_4","DOI":"10.1007\/978-3-031-07727-2_4"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25423-4","volume-title":"Formal Methods and Software Engineering","year":"2015","unstructured":"Butler, M., Conchon, S., Za\u00efdi, F. (eds.): ICFEM 2015. LNCS, vol. 9407. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25423-4"},{"key":"2_CR8","unstructured":"Cha, S.: Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes. Ph.D. thesis, Technical University of Munich, Germany (2021). https:\/\/nbn-resolving.org\/urn:nbn:de:bvb:91-diss-20210519-1595575-0-5"},{"issue":"10","key":"2_CR9","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1515\/auto-2018-0028","volume":"66","author":"S Cha","year":"2018","unstructured":"Cha, S., Weigl, A., Ulbrich, M., Beckert, B., Vogel-Heuser, B.: Applicability of generalized test tables: a case study using the manufacturing system demonstrator xppu. Automatisierungstechnik 66(10), 834\u2013848 (2018). https:\/\/doi.org\/10.1515\/auto-2018-0028","journal-title":"Automatisierungstechnik"},{"issue":"6","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.3233\/JCS-2009-0393","volume":"18","author":"MR Clarkson","year":"2010","unstructured":"Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157\u20131210 (2010). https:\/\/doi.org\/10.3233\/JCS-2009-0393","journal-title":"J. Comput. Secur."},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-030-67067-2_4","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"O Goudsmid","year":"2021","unstructured":"Goudsmid, O., Grumberg, O., Sheinvald, S.: Compositional model checking for multi-properties. In: Henglein, F., Shoham, S., Vizel, Y. (eds.) VMCAI 2021. LNCS, vol. 12597, pp. 55\u201380. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-67067-2_4"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-21690-4_16","volume-title":"Computer Aided Verification","author":"S de Gouw","year":"2015","unstructured":"de Gouw, S., Rot, J., de Boer, F.S., Bubel, R., H\u00e4hnle, R.: OpenJDK\u2019s Java.utils.Collection.sort() is broken: the good, the bad and the worst case. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 273\u2013289. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_16"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Leavens, G.T.: Tutorial on JML, the java modeling language. In: Stirewalt, R.E.K., Egyed, A., Fischer, B. (eds.) 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), 5\u20139 November 2007, Atlanta, Georgia, USA, p. 573. ACM (2007). https:\/\/doi.org\/10.1145\/1321631.1321747","DOI":"10.1145\/1321631.1321747"},{"key":"2_CR14","unstructured":"Weigl, A.: Formal Specification and Verification for Automated Production Systems. Ph.D. thesis, Karlsruhe Institute of Technology, Germany (2021). https:\/\/nbn-resolving.org\/urn:nbn:de:101:1-2021122204023164080066"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Weigl, A., Ulbrich, M., Cha, S., Beckert, B., Vogel-Heuser, B.: Relational test tables: A practical specification language for evolution and security. In: Bae, K., Bianculli, D., Gnesi, S., Plat, N. (eds.) FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, 13 July 2020, pp. 77\u201386. ACM (2020). https:\/\/doi.org\/10.1145\/3372020.3391566","DOI":"10.1145\/3372020.3391566"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-030-76384-8_22","volume-title":"NASA Formal Methods","author":"A Weigl","year":"2021","unstructured":"Weigl, A., Ulbrich, M., Tyszberowicz, S., Klamroth, J.: Runtime verification of generalized test tables. In: Dutle, A., Moscato, M.M., Titolo, L., Mu\u00f1oz, C.A., Perez, I. (eds.) NFM 2021. LNCS, vol. 12673, pp. 358\u2013374. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76384-8_22"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Weigl, A., Wiebe, F., Ulbrich, M., Ulewicz, S., Cha, S., Kirsten, M., Beckert, B., Vogel-Heuser, B.: Generalized test tables: A powerful and intuitive specification language for reactive systems. In: 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, 24\u201326 July 2017, pp. 875\u2013882. IEEE (2017). https:\/\/doi.org\/10.1109\/INDIN.2017.8104887","DOI":"10.1109\/INDIN.2017.8104887"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17715-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T23:03:18Z","timestamp":1664751798000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17715-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031177149","9783031177156"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17715-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/viam.science.tsu.ge\/clas2022\/ictac\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}