{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T21:01:51Z","timestamp":1754600511341,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,27]],"date-time":"2015-04-27T00:00:00Z","timestamp":1430092800000},"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":[[2015,4,27]]},"DOI":"10.1145\/2745802.2745817","type":"proceedings-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T18:13:36Z","timestamp":1430504016000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software"],"prefix":"10.1145","author":[{"given":"Asim","family":"Abdulkhaleq","sequence":"first","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Wagner","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421"},{"key":"e_1_3_2_1_2_1","volume-title":"MIT","author":"Fleming C.","year":"2013","unstructured":"C. Fleming , M. Placke , and N. Leveson . Technical report: STPA analysis of NextGen interval management components: Ground interval management (GIM) and flight decn interval management (FIM) . MIT , 2013 . C. Fleming, M. Placke, and N. Leveson. Technical report: STPA analysis of NextGen interval management components: Ground interval management (GIM) and flight decn interval management (FIM). MIT, 2013."},{"key":"e_1_3_2_1_3_1","volume-title":"Butterworth-Heinemann","author":"Garrett T.","year":"2001","unstructured":"T. Garrett , K. Newton , and W. Steeds . The Motor Vehicle . Butterworth-Heinemann , 2001 . T. Garrett, K. Newton, and W. Steeds. The Motor Vehicle. Butterworth-Heinemann, 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2013.59"},{"volume-title":"AIAA 3rd Unmanned Unlimited Technical Conference.","author":"Kuchar J.","key":"e_1_3_2_1_5_1","unstructured":"J. Kuchar , J. Andrews , A. Drumm , T. Hall , V. Heinz , S. Thompson , and J. Welch . Safety analysis process for the traffic alert and collision avoidance system and see-and-avoid systems on remotely piloted vehicles . AIAA 3rd Unmanned Unlimited Technical Conference. J. Kuchar, J. Andrews, A. Drumm, T. Hall, V. Heinz, S. Thompson, and J. Welch. Safety analysis process for the traffic alert and collision avoidance system and see-and-avoid systems on remotely piloted vehicles. AIAA 3rd Unmanned Unlimited Technical Conference."},{"key":"e_1_3_2_1_7_1","volume-title":"Systems Thinking Applied to Safety","author":"Leveson N.","year":"2011","unstructured":"N. Leveson . Engineering a Safer World : Systems Thinking Applied to Safety . MIT Press , 2011 . N. Leveson. Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005937.1005940"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(83)90030-4"},{"key":"e_1_3_2_1_12_1","volume-title":"Ariane 5: Flight 501 failure. Report by the Inquiry Board","author":"Lions J. L.","year":"1996","unstructured":"J. L. Lions . Ariane 5: Flight 501 failure. Report by the Inquiry Board , 1996 . J. L. Lions. Ariane 5: Flight 501 failure. Report by the Inquiry Board, 1996."},{"key":"e_1_3_2_1_13_1","volume-title":"1st International Forum on Integrated System Health Engineering and Management in Aerospace","author":"Lutz R.","year":"2005","unstructured":"R. Lutz and A. Nikora . Failure assessment . 1st International Forum on Integrated System Health Engineering and Management in Aerospace , 2005 . R. Lutz and A. Nikora. Failure assessment. 1st International Forum on Integrated System Health Engineering and Management in Aerospace, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601255"},{"volume-title":"National Aeronautics and Space Administraiton","year":"2004","key":"e_1_3_2_1_15_1","unstructured":"NASA-GB-8719.13. NASA Software Safety Guidebook . National Aeronautics and Space Administraiton , 2004 . NASA-GB-8719.13. NASA Software Safety Guidebook. National Aeronautics and Space Administraiton, 2004."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526677"},{"key":"e_1_3_2_1_17_1","volume-title":"Southwestern Educational Research Association (SERA)","author":"Ritter N.","year":"2010","unstructured":"N. Ritter . Understanding a widely misunderstood statistic: Cronbach's alpha . in Southwestern Educational Research Association (SERA) , 2010 . N. Ritter. Understanding a widely misunderstood statistic: Cronbach's alpha. in Southwestern Educational Research Association (SERA), 2010."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601260"},{"key":"e_1_3_2_1_19_1","volume-title":"29th International System Safety Conference","author":"Thomas J.","year":"2011","unstructured":"J. Thomas and G. N. Leveson . Performing hazard analysis on complex, software- and human-intensive systems . In 29th International System Safety Conference , 2011 . J. Thomas and G. N. Leveson. Performing hazard analysis on complex, software- and human-intensive systems. In 29th International System Safety Conference, 2011."},{"key":"e_1_3_2_1_20_1","volume-title":"Procedures for Performing a Failure Mode, Effects and Criticality Analysis: Military Standard. MIL STD 1629A","author":"Defense US","year":"1980","unstructured":"US Dept of Defense . Procedures for Performing a Failure Mode, Effects and Criticality Analysis: Military Standard. MIL STD 1629A . 1980 . US Dept of Defense. Procedures for Performing a Failure Mode, Effects and Criticality Analysis: Military Standard. MIL STD 1629A. 1980."},{"key":"e_1_3_2_1_21_1","volume-title":"Launch Control Safety Study","author":"Watson H. A.","year":"1961","unstructured":"H. A. Watson . Launch Control Safety Study , volume 1 . Murray Hill , 1961 . H. A. Watson. Launch Control Safety Study, volume 1. Murray Hill, 1961."}],"event":{"name":"EASE '15: 19th International Conference on Evaluation and Assessment in Software Engineering","sponsor":["NJU Nanjing University"],"location":"Nanjing China","acronym":"EASE '15"},"container-title":["Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2745802.2745817","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2745802.2745817","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:45Z","timestamp":1750227405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2745802.2745817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,27]]},"references-count":20,"alternative-id":["10.1145\/2745802.2745817","10.1145\/2745802"],"URL":"https:\/\/doi.org\/10.1145\/2745802.2745817","relation":{},"subject":[],"published":{"date-parts":[[2015,4,27]]},"assertion":[{"value":"2015-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}