{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:52:00Z","timestamp":1760586720816,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2014,5,31]]},"DOI":"10.1145\/2591062.2591178","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"115-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Objective safety compliance checks for source code"],"prefix":"10.1145","author":[{"given":"Alois","family":"Mayr","sequence":"first","affiliation":[{"name":"JKU Linz, Austria"}]},{"given":"Reinhold","family":"Pl\u00f6sch","sequence":"additional","affiliation":[{"name":"JKU Linz, Austria"}]},{"given":"Matthias","family":"Saft","sequence":"additional","affiliation":[{"name":"Siemens, Germany"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.42.11.1515"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.544352"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00102-8"},{"key":"e_1_3_2_1_4_1","unstructured":"CASS Scheme Ltd 2009. CASS Templates for Software Requirements in Relation to IEC 61508 Part 3 \u2013 Safety Function Assessment.  CASS Scheme Ltd 2009. CASS Templates for Software Requirements in Relation to IEC 61508 Part 3 \u2013 Safety Function Assessment."},{"volume-title":"Automatic Measurement of Software Documentation Quality","author":"Dautovic A.","key":"e_1_3_2_1_5_1","unstructured":"Dautovic , A. 2012. Automatic Measurement of Software Documentation Quality . Johannes Kepler University Linz . Dautovic, A. 2012. Automatic Measurement of Software Documentation Quality. Johannes Kepler University Linz."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33675-1_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.116"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.26"},{"volume-title":"Benchmarking-oriented Assessment of Source Code Quality - An Approach for Automatic Assessments using Static Code Analysis Tools","author":"Gruber H.","key":"e_1_3_2_1_9_1","unstructured":"Gruber , H. 2010. Benchmarking-oriented Assessment of Source Code Quality - An Approach for Automatic Assessments using Static Code Analysis Tools . Johannes Kepler University Linz . Gruber, H. 2010. Benchmarking-oriented Assessment of Source Code Quality - An Approach for Automatic Assessments using Static Code Analysis Tools. Johannes Kepler University Linz."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2010.036605"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Hawkins R. Kelly T. Knight J. and Graydon P. 2011. A New Approach to Creating Clear Safety Arguments. Advances in Systems Safety. C. Dale and T. Anderson eds. Springer London. 3\u201323.  Hawkins R. Kelly T. Knight J. and Graydon P. 2011. A New Approach to Creating Clear Safety Arguments. Advances in Systems Safety. C. Dale and T. Anderson eds. Springer London. 3\u201323.","DOI":"10.1007\/978-0-85729-133-2_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Huhn M. and Zechner A. 2010. Arguing for Software Quality in an IEC 62304 Compliant Development Process. Leveraging Applications of Formal Methods Verification and Validation. T. Margaria and B. Steffen eds. Springer Berlin Heidelberg. 296\u2013311.   Huhn M. and Zechner A. 2010. Arguing for Software Quality in an IEC 62304 Compliant Development Process. Leveraging Applications of Formal Methods Verification and Validation. T. Margaria and B. Steffen eds. Springer Berlin Heidelberg. 296\u2013311.","DOI":"10.1007\/978-3-642-16561-0_30"},{"key":"e_1_3_2_1_13_1","unstructured":"IEC 61508:2010: Functional safety of electrical\/electronical\/programmable electronic safety-related systems.  IEC 61508:2010: Functional safety of electrical\/electronical\/programmable electronic safety-related systems."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139174084"},{"volume-title":"Arguing Safety \u2013 A Systematic Approach to Managing Safety Cases","author":"Kelly T.","key":"e_1_3_2_1_15_1","unstructured":"Kelly , T. 1998. Arguing Safety \u2013 A Systematic Approach to Managing Safety Cases . University of York. Kelly, T. 1998. Arguing Safety \u2013 A Systematic Approach to Managing Safety Cases. University of York."},{"key":"e_1_3_2_1_16_1","first-page":"1","article-title":"The Role of Software in Spacecraft Accidents","volume":"41","author":"Leveson N.G.","year":"2004","unstructured":"Leveson , N.G. 2004 . The Role of Software in Spacecraft Accidents . AIAA Journal. 41 , 4 (2004), 1 \u2013 27 . Leveson, N.G. 2004. The Role of Software in Spacecraft Accidents. AIAA Journal. 41, 4 (2004), 1\u201327.","journal-title":"AIAA Journal."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2009.1540"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382782"},{"volume-title":"An Approach for Evaluating Functional Safety of Software in the Context of IEC 61508","author":"Mayr A.","key":"e_1_3_2_1_19_1","unstructured":"Mayr , A. 2013. An Approach for Evaluating Functional Safety of Software in the Context of IEC 61508 . Johannes Kepler University . Mayr, A. 2013. An Approach for Evaluating Functional Safety of Software in the Context of IEC 61508. Johannes Kepler University."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.32"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.4"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.11"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.43"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.9"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the joined International Conferences on Software Measurement. IWSM\/MetriKon\/Mensura 2010","author":"Trendowicz A.","year":"2010","unstructured":"Trendowicz , A. , Kl\u00e4s , M. , Lampasona , C. , M\u00fcnch , J. , K\u00f6rner , C. and Saft , M . 2010. Model-based Product Quality Evaluation with Multi-Criteria Decision Analysis . Proceedings of the joined International Conferences on Software Measurement. IWSM\/MetriKon\/Mensura 2010 ( 2010 ), 3\u201320. Trendowicz, A., Kl\u00e4s, M., Lampasona, C., M\u00fcnch, J., K\u00f6rner, C. and Saft, M. 2010. Model-based Product Quality Evaluation with Multi-Criteria Decision Analysis. Proceedings of the joined International Conferences on Software Measurement. IWSM\/MetriKon\/Mensura 2010 (2010), 3\u201320."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 34th International Conference on Software Engineering ICSE 12","author":"Wagner S.","year":"2012","unstructured":"Wagner , S. , Lochmann , K. , Heinemann , L. , Kl\u00e4s , M. , Trendowicz , A. , Pl\u00f6sch , R. , Seidl , A. , G\u00f6b , A. and Streit , J . 2012. The Quamoco Product Quality Modelling and Assessment Approach . Proceedings of the 34th International Conference on Software Engineering ICSE 12 ( 2012 ). Wagner, S., Lochmann, K., Heinemann, L., Kl\u00e4s, M., Trendowicz, A., Pl\u00f6sch, R., Seidl, A., G\u00f6b, A. and Streit, J. 2012. The Quamoco Product Quality Modelling and Assessment Approach. Proceedings of the 34th International Conference on Software Engineering ICSE 12 (2012)."},{"key":"e_1_3_2_1_27_1","volume-title":"Structured Testing: A Testing Methodology Using Cyclomatic Complexity Metric.","author":"Watson A.H.","year":"1996","unstructured":"Watson , A.H. and McCabe , T.J. 1996 . Structured Testing: A Testing Methodology Using Cyclomatic Complexity Metric. Watson, A.H. and McCabe, T.J. 1996. Structured Testing: A Testing Methodology Using Cyclomatic Complexity Metric."}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Companion Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2591062.2591178","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2591062.2591178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:30Z","timestamp":1750230090000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2591062.2591178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":27,"alternative-id":["10.1145\/2591062.2591178","10.1145\/2591062"],"URL":"https:\/\/doi.org\/10.1145\/2591062.2591178","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}