{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T19:03:12Z","timestamp":1773774192957,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T00:00:00Z","timestamp":1384128000000},"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":[[2013,11,11]]},"DOI":"10.1145\/2589650.2559629","type":"proceedings-article","created":{"date-parts":[[2014,2,26]],"date-time":"2014-02-26T13:07:13Z","timestamp":1393420033000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Combining Fault-Injection with Property-Based Testing"],"prefix":"10.1145","author":[{"given":"Benjamin","family":"Vedder","sequence":"first","affiliation":[{"name":"SP Electronics, SP Technical Research Institute of Sweden"}]},{"given":"Thomas","family":"Arts","sequence":"additional","affiliation":[{"name":"Quviq AB"}]},{"given":"Jonny","family":"Vinter","sequence":"additional","affiliation":[{"name":"SP Electronics, SP Technical Research Institute of Sweden"}]},{"given":"Magnus","family":"Jonsson","sequence":"additional","affiliation":[{"name":"School of Information Science, Computer and Electrical Engineering, Halmstad University"}]}],"member":"320","published-online":{"date-parts":[[2013,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Assessing the effects of introducing a new software development process: a methodological description","author":"Nilsson A.","year":"2013","unstructured":"A. Nilsson , L. M. Castro , S. Rivas , and T. Arts . \" Assessing the effects of introducing a new software development process: a methodological description \". In: International Journal on Software Tools for Technology Transfer ( 2013 ), pp. 1 -- 16 . A. Nilsson, L. M. Castro, S. Rivas, and T. Arts. \"Assessing the effects of introducing a new software development process: a methodological description\". In: International Journal on Software Tools for Technology Transfer (2013), pp. 1--16.","journal-title":"International Journal on Software Tools for Technology Transfer ("},{"issue":"2","key":"e_1_3_2_1_3_1","article-title":"Formal methods based acceptance testing for AUTOSAR exchangeability","volume":"5","author":"Svenningsson R.","year":"2012","unstructured":"R. Svenningsson , R. Johansson , T. Arts , and U. Norell . \" Formal methods based acceptance testing for AUTOSAR exchangeability \". In: SAE Int. Journal of Passenger Cars--Electronic and Electrical Systems 5 . 2 ( 2012 ). R. Svenningsson, R. Johansson, T. Arts, and U. Norell. \"Formal methods based acceptance testing for AUTOSAR exchangeability\". In: SAE Int. Journal of Passenger Cars--Electronic and Electrical Systems 5.2 (2012).","journal-title":"Journal of Passenger Cars--Electronic and Electrical Systems"},{"key":"e_1_3_2_1_4_1","first-page":"115","volume-title":"Proceedings of the Twenty-Fifth International Conference on Fault-Tolerant Computing. FTCS'95","author":"Iyer R. K.","year":"1995","unstructured":"R. K. Iyer . \" Experimental evaluation\". In: Proceedings of the Twenty-Fifth International Conference on Fault-Tolerant Computing. FTCS'95 . Pasadena, California : IEEE Computer Society, 1995 , pp. 115 -- 132 . isbn: 0-8186-7146-7. url: http:\/\/dl.acm.org\/citation.cfm?id=1899254.1899269. R. K. Iyer. \"Experimental evaluation\". In: Proceedings of the Twenty-Fifth International Conference on Fault-Tolerant Computing. FTCS'95. Pasadena, California: IEEE Computer Society, 1995, pp. 115--132. isbn: 0-8186-7146-7. url: http:\/\/dl.acm.org\/citation.cfm?id=1899254.1899269."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.259894"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.44380"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58426-9_132"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689479"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941394"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1994.315656"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1997.614074"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.559803"},{"key":"e_1_3_2_1_13_1","first-page":"204","volume-title":"Proceedings of the Computer Performance and Dependability Symposium.","author":"Han S.","year":"1995","unstructured":"S. Han , K.G. Shin , and H.A. Rosenberg . \" DOCTOR: an integrated software fault injection environment for distributed real-time systems \". In: Proceedings of the Computer Performance and Dependability Symposium. 1995 , pp. 204 -- 213 . doi: 10.1109\/IPDS.1995.395831. 10.1109\/IPDS.1995.395831 S. Han, K.G. Shin, and H.A. Rosenberg. \"DOCTOR: an integrated software fault injection environment for distributed real-time systems\". In: Proceedings of the Computer Performance and Dependability Symposium. 1995, pp. 204--213. doi: 10.1109\/IPDS.1995.395831."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.666826"},{"key":"e_1_3_2_1_15_1","volume-title":"G\u00f6teborg: Chalmers University of Technology","author":"Hiller M.","year":"2002","unstructured":"M. Hiller . \"A software profiling methodology for design and assessment of dependable software\". Ph.D Thesis . G\u00f6teborg: Chalmers University of Technology , 2002 . M. Hiller. \"A software profiling methodology for design and assessment of dependable software\". Ph.D Thesis. G\u00f6teborg: Chalmers University of Technology, 2002."},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"Proceedings of the Institution of Engineering and Technology Conference on Automotive Electronics.","author":"Vinter J.","year":"2007","unstructured":"J. Vinter , L. Bromander , P. Raistrick , and H. Edler . \" FISCADE - A fault injection tool for SCADE models \". In: Proceedings of the Institution of Engineering and Technology Conference on Automotive Electronics. 2007 , pp. 1 -- 9 . J. Vinter, L. Bromander, P. Raistrick, and H. Edler. \"FISCADE - A fault injection tool for SCADE models\". In: Proceedings of the Institution of Engineering and Technology Conference on Automotive Electronics. 2007, pp. 1--9."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1886301.1886322"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17071-3_13"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_20_1","unstructured":"R. Nilsson. ScalaCheck. 2013. url: https:\/\/github.com\/rickynils\/scalacheck.  R. Nilsson. ScalaCheck. 2013. url: https:\/\/github.com\/rickynils\/scalacheck."},{"key":"e_1_3_2_1_21_1","unstructured":"Python\/C API reference manual. 2013. url: http:\/\/docs.python.org\/2\/c-api\/.  Python\/C API reference manual. 2013. url: http:\/\/docs.python.org\/2\/c-api\/."},{"key":"e_1_3_2_1_22_1","unstructured":"bridj. 2013. url: http:\/\/code.google.com\/p\/bridj\/.  bridj. 2013. url: http:\/\/code.google.com\/p\/bridj\/."},{"key":"e_1_3_2_1_23_1","unstructured":"AUTOSAR. Specification of SW-C end-to-end communication protection Library. Specification. 2013-02-20.  AUTOSAR. Specification of SW-C end-to-end communication protection Library. Specification. 2013-02-20."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566184"},{"key":"e_1_3_2_1_25_1","volume-title":"ISO 26262: Road vehicles -- Functional safety. Norm","author":"International Organization for Standardization ISO.","year":"2011","unstructured":"International Organization for Standardization ISO. ISO 26262: Road vehicles -- Functional safety. Norm . 2011 . International Organization for Standardization ISO. ISO 26262: Road vehicles -- Functional safety. Norm. 2011."},{"key":"e_1_3_2_1_26_1","volume-title":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems. Norm","author":"International Electrotechnical Commission","year":"2010","unstructured":"International Electrotechnical Commission . IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems. Norm . 2010 . International Electrotechnical Commission. IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems. Norm. 2010."},{"key":"e_1_3_2_1_27_1","unstructured":"Property-based testing for web services. 2013. url: http:\/\/www.prowessproject.eu\/.  Property-based testing for web services. 2013. url: http:\/\/www.prowessproject.eu\/."}],"event":{"name":"ES4CPS '14: International Workshop on Engineering Simulations for Cyber-Physical Systems","location":"Dresden Germany","acronym":"ES4CPS '14","sponsor":["Technische Universit\u00e4t Ilmenau Technische Universit\u00e4t Ilmenau"]},"container-title":["Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2589650.2559629","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2589650.2559629","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:46Z","timestamp":1750277686000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2589650.2559629"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,11]]},"references-count":27,"alternative-id":["10.1145\/2589650.2559629","10.1145\/2589650"],"URL":"https:\/\/doi.org\/10.1145\/2589650.2559629","relation":{},"subject":[],"published":{"date-parts":[[2013,11,11]]},"assertion":[{"value":"2013-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}