{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:56:32Z","timestamp":1762271792211,"version":"3.41.0"},"reference-count":74,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Norges Forskningsr\u00e5d","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DNV under the ModelME! project"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2014,2]]},"abstract":"<jats:p>Certifying safety-critical software and ensuring its safety requires checking the conformance between safety requirements and design. Increasingly, the development of safety-critical software relies on modeling, and the System Modeling Language (SysML) is now commonly used in many industry sectors. Inspecting safety conformance by comparing design models against safety requirements requires safety inspectors to browse through large models and is consequently time consuming and error-prone. To address this, we have devised a mechanism to establish traceability between (functional) safety requirements and SysML design models to extract design slices (model fragments) that filter out irrelevant details but keep enough context information for the slices to be easy to inspect and understand. In this article, we report on a controlled experiment assessing the impact of the traceability and slicing mechanism on inspectors' conformance decisions and effort. Results show a significant decrease in effort and an increase in decisions' correctness and level of certainty.<\/jats:p>","DOI":"10.1145\/2559978","type":"journal-article","created":{"date-parts":[[2014,2,18]],"date-time":"2014-02-18T14:08:32Z","timestamp":1392732512000},"page":"1-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Traceability and SysML design slices to support safety inspections"],"prefix":"10.1145","volume":"23","author":[{"given":"Lionel","family":"Briand","sequence":"first","affiliation":[{"name":"University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Falessi","sequence":"additional","affiliation":[{"name":"Fraunhofer USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,2,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1037\/0021-9010.69.2.334"},{"key":"e_1_2_1_3_1","volume-title":"The Basics of Social Research","author":"Babbie E. R.","unstructured":"E. R. Babbie . 2010. The Basics of Social Research 5 th Ed. Wadsworth Publishing . E. R. Babbie. 2010. The Basics of Social Research 5th Ed. Wadsworth Publishing.","edition":"5"},{"key":"e_1_2_1_4_1","first-page":"2","article-title":"Understanding statistical power in the context of applied research","volume":"35","author":"Baguley T.","year":"2006","unstructured":"T. Baguley . 2006 . Understanding statistical power in the context of applied research . Appl. Ergonom. 35 , 2 . T. Baguley. 2006. Understanding statistical power in the context of applied research. Appl. Ergonom. 35, 2.","journal-title":"Appl. Ergonom."},{"key":"e_1_2_1_5_1","unstructured":"V. Basili G. Caldiera and D. Rombach. 1994. Goal\/question\/metric paradigm. In Encyclopedia Software Engineering 1 John Wiley and Sons 528--532.  V. Basili G. Caldiera and D. Rombach. 1994. Goal\/question\/metric paradigm. In Encyclopedia Software Engineering 1 John Wiley and Sons 528--532."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.799939"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"S. Biffl A. Aurum B. Bohem H. Erdogmus and P. Gr\u00fcnbacher. 2006. Value-Based Software Engineering. Springer.   S. Biffl A. Aurum B. Bohem H. Erdogmus and P. Gr\u00fcnbacher. 2006. Value-Based Software Engineering. Springer.","DOI":"10.1007\/3-540-29263-2"},{"volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"Binder R.","key":"e_1_2_1_8_1","unstructured":"R. Binder . 1999. Testing Object-Oriented Systems: Models, Patterns, and Tools . Addison-Wesley Longman Publishing Company . R. Binder. 1999. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Company."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"D. Binkley and K. Gallagher. 1996. Program slicing. Adv. Comput. 43.  D. Binkley and K. Gallagher. 1996. Program slicing. Adv. Comput. 43.","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","unstructured":"D. Binkley and M. Harman. 2003. A survey of empirical results on program slicing. Adv. Comput. 62.  D. Binkley and M. Harman. 2003. A survey of empirical results on program slicing. Adv. Comput. 62.","DOI":"10.1016\/S0065-2458(03)62003-6"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"L. Briand T. Coq S. Nejati R. K. Panesar-Walawege and M. Sabetzadeh. 2009a. Characterizing the chain of evidence for software safety cases: A conceptual model based on the iec 61508 standard. http:\/\/modelme.simula.no\/.  L. Briand T. Coq S. Nejati R. K. Panesar-Walawege and M. Sabetzadeh. 2009a. Characterizing the chain of evidence for software safety cases: A conceptual model based on the iec 61508 standard. http:\/\/modelme.simula.no\/.","DOI":"10.1109\/ICST.2010.12"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.06.002"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.05.001"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/308769.308798"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"J. E. Burge J. M. Carroll R. McCall and I. Mistrk. 2008. Rationale-Based Software Engineering. Springer.   J. E. Burge J. M. Carroll R. McCall and I. Mistrk. 2008. Rationale-Based Software Engineering. Springer.","DOI":"10.1007\/978-3-540-77583-6"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"G. Cantone Z. Abdulnabi A. Lomartire and G. Calavaro. 2003. Effectiveness of code reading and functional testing with event-driven object-oriented software. In Empiracal Methods and Studies in Software Engineering Springer 166--192.  G. Cantone Z. Abdulnabi A. Lomartire and G. Calavaro. 2003. Effectiveness of code reading and functional testing with event-driven object-oriented software. In Empiracal Methods and Studies in Software Engineering Springer 166--192.","DOI":"10.1007\/978-3-540-45143-3_10"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062525"},{"key":"e_1_2_1_18_1","unstructured":"P. Clements R. Kazman and M. Klein. 2002. Evaluating Software Architecture: Methods and Case Studies. Addison-Wesley.   P. Clements R. Kazman and M. Klein. 2002. Evaluating Software Architecture: Methods and Case Studies. Addison-Wesley."},{"key":"e_1_2_1_19_1","first-page":"1","article-title":"A power prime","volume":"112","author":"Coehn J.","year":"1992","unstructured":"J. Coehn . 1992 . A power prime . Psychol. Bull. 112 , 1 . J. Coehn. 1992. A power prime. Psychol. Bull. 112, 1.","journal-title":"Psychol. Bull."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_5"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101970"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-009-9121-0"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1163514.1178642"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491515"},{"key":"e_1_2_1_25_1","unstructured":"D. Falessi L. C. Briand and G. Cantone. 2009. The impact of automated support for linking equivalent requirements based on similarity measures. Tech. rep. 2009-08 Simula Research Laboratory.  D. Falessi L. C. Briand and G. Cantone. 2009. The impact of automated support for linking equivalent requirements based on similarity measures. Tech. rep. 2009-08 Simula Research Laboratory."},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"D. Falessi and G. Cantone. 2006. Exploring feasibility of software defects orthogonal classification. In Software and Data Technologies Springer 136--152.  D. Falessi and G. Cantone. 2006. Exploring feasibility of software defects orthogonal classification. In Software and Data Technologies Springer 136--152.","DOI":"10.1007\/978-3-540-70621-2_12"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159733.1159755"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.122"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.122"},{"volume-title":"Proceedings of the International Conference on Software and Data Technologies.","author":"Falessi D.","key":"e_1_2_1_30_1","unstructured":"D. Falessi , G. Cantone , and C. Grande . 2007. A comparison of structured analysis and object oriented analysis: An experimental study . In Proceedings of the International Conference on Software and Data Technologies. D. Falessi, G. Cantone, and C. Grande. 2007. A comparison of structured analysis and object oriented analysis: An experimental study. In Proceedings of the International Conference on Software and Data Technologies."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2008.8"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025191"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.116"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0953-5438(00)00025-4"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400500252X"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081717"},{"key":"e_1_2_1_37_1","unstructured":"C. Hofmeister R. Nord and D. Soni. 1999. Applied Software Architecture. Addison-Wesley.   C. Hofmeister R. Nord and D. Soni. 1999. Applied Software Architecture. Addison-Wesley."},{"key":"e_1_2_1_38_1","unstructured":"IEC. 2005. Functional safety of electrical \/ electronic \/ programmable electronic safety-related systems (IEC 61508). International Electrotechnical Commission.  IEC. 2005. Functional safety of electrical \/ electronic \/ programmable electronic safety-related systems (IEC 61508). International Electrotechnical Commission."},{"key":"e_1_2_1_39_1","unstructured":"IEEE. 1994. 1044-1993 IEEE standard classification for software anomalies. http:\/\/standards.ieee.org\/findstds\/standard\/1044-2009.html.  IEEE. 1994. 1044-1993 IEEE standard classification for software anomalies. http:\/\/standards.ieee.org\/findstds\/standard\/1044-2009.html."},{"key":"e_1_2_1_40_1","unstructured":"IEEE. 2000. IEEE std 1471:2000 recommended practice for architectural description of software- intensive systems. http:\/\/standards.ieee.org\/findstds\/standard\/1471-2000.html.  IEEE. 2000. IEEE std 1471:2000 recommended practice for architectural description of software- intensive systems. http:\/\/standards.ieee.org\/findstds\/standard\/1471-2000.html."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.34"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.976943"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/511152.511155"},{"volume-title":"A case study using SysML for safety-critical systems. Master thesis","author":"Klykken T.","key":"e_1_2_1_44_1","unstructured":"T. Klykken . 2009. A case study using SysML for safety-critical systems. Master thesis , University of Oslo . http:\/\/people.svv.lu\/nejati\/tonje.pdf. T. Klykken. 2009. A case study using SysML for safety-critical systems. Master thesis, University of Oslo. http:\/\/people.svv.lu\/nejati\/tonje.pdf."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/876882.879741"},{"volume-title":"Proceedings of the International Conference on Software Maintenance. IEEE Computer Society.","author":"Knethen A. V.","key":"e_1_2_1_46_1","unstructured":"A. V. Knethen and M. Grund . 2003. QuaTrace: A tool environment for (semi-) automatic impact analysis based on traces . In Proceedings of the International Conference on Software Maintenance. IEEE Computer Society. A. V. Knethen and M. Grund. 2003. QuaTrace: A tool environment for (semi-) automatic impact analysis based on traces. In Proceedings of the International Conference on Software Maintenance. IEEE Computer Society."},{"volume-title":"Proceedings of the International Conference on Software Maintenance. IEEE Computer Society.","author":"Korel B.","key":"e_1_2_1_47_1","unstructured":"B. Korel , I. Singh , L. Tahat , and B. Vaysburg . 2003. Slicing of state-based models . In Proceedings of the International Conference on Software Maintenance. IEEE Computer Society. B. Korel, I. Singh, L. Tahat, and B. Vaysburg. 2003. Slicing of state-based models. In Proceedings of the International Conference on Software Maintenance. IEEE Computer Society."},{"key":"e_1_2_1_48_1","volume-title":"The Rational Unified Process: An Introduction","author":"Kruchten P.","unstructured":"P. Kruchten . 2003. The Rational Unified Process: An Introduction 3 rd Ed. Addison-Wesley Professional . P. Kruchten. 2003. The Rational Unified Process: An Introduction 3rd Ed. Addison-Wesley Professional.","edition":"3"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/11921998_8"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.142"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 1st International Workshop on Traceability in Emerging Forms of Software Engineering.","author":"Letelier P.","year":"2002","unstructured":"P. Letelier . 2002 . A framework for requirements traceability in uml-based projects . In Proceedings of the 1st International Workshop on Traceability in Emerging Forms of Software Engineering. P. Letelier. 2002. A framework for requirements traceability in uml-based projects. In Proceedings of the 1st International Workshop on Traceability in Emerging Forms of Software Engineering."},{"key":"e_1_2_1_52_1","doi-asserted-by":"crossref","unstructured":"C. Lewerentz and T. Lindner. 1995. Formal Development of Reactive Systems - Case Study Production Cell. Springer.   C. Lewerentz and T. Lindner. 1995. Formal Development of Reactive Systems - Case Study Production Cell. Springer.","DOI":"10.1007\/3-540-58867-1"},{"key":"e_1_2_1_53_1","unstructured":"R. Likert. 1932. A technique for the measurement of attitudes. Arch. Psychol. 22 140 1--55.  R. Likert. 1932. A technique for the measurement of attitudes. Arch. Psychol. 22 140 1--55."},{"key":"e_1_2_1_54_1","doi-asserted-by":"crossref","unstructured":"C. Manning P. Raghavan and H. Schtze. 2008. Introduction to Information Retrieval. Cambridge University Press.   C. Manning P. Raghavan and H. Schtze. 2008. Introduction to Information Retrieval. Cambridge University Press.","DOI":"10.1017\/CBO9780511809071"},{"volume-title":"Design and Analysis of Experiments","author":"Montgomery D.","key":"e_1_2_1_55_1","unstructured":"D. Montgomery . 2006. Design and Analysis of Experiments . John Wiley and Sons . D. Montgomery. 2006. Design and Analysis of Experiments. John Wiley and Sons."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.30"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.01.005"},{"key":"e_1_2_1_58_1","doi-asserted-by":"crossref","unstructured":"B. Nuseibeh J. J. Kramer and A. A. Finkelstein. 2003. ViewPoints: Meaningful relationships are difficult&excl; In Proceedings of the 25th International Conference on Software Engineering.   B. Nuseibeh J. J. Kramer and A. A. Finkelstein. 2003. ViewPoints: Meaningful relationships are difficult&excl; In Proceedings of the 25 th International Conference on Software Engineering.","DOI":"10.1109\/ICSE.2003.1201254"},{"key":"e_1_2_1_59_1","unstructured":"OMG. 2008. SysML specification (formal\/2008-11-01). http:\/\/www.omg.org\/spec\/SysML\/1.1\/.  OMG. 2008. SysML specification (formal\/2008-11-01). http:\/\/www.omg.org\/spec\/SysML\/1.1\/."},{"key":"e_1_2_1_60_1","unstructured":"OMG. 2009. UML 2.2 superstructure specification (formal\/2009-02-04). http:\/\/www.omg.org\/spec\/UML\/2.2\/.  OMG. 2009. UML 2.2 superstructure specification (formal\/2009-02-04). http:\/\/www.omg.org\/spec\/UML\/2.2\/."},{"volume-title":"Questionnaire Design, Interviewing and Attitude Measurement","author":"Oppenheim A.","key":"e_1_2_1_61_1","unstructured":"A. Oppenheim . 1992. Questionnaire Design, Interviewing and Attitude Measurement . Continuum International Publishing . A. Oppenheim. 1992. Questionnaire Design, Interviewing and Attitude Measurement. Continuum International Publishing."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.895989"},{"key":"e_1_2_1_63_1","unstructured":"R. Rosenthal. 1966. Experimenter Effects in Behavioral Research. Appleton Century Crofts.  R. Rosenthal. 1966. Experimenter Effects in Behavioral Research. Appleton Century Crofts."},{"key":"e_1_2_1_64_1","unstructured":"N. Rozanski and E. Woods. 2005. Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives. Addison-Wesley.   N. Rozanski and E. Woods. 2005. Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives. Addison-Wesley."},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.23"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.28"},{"key":"e_1_2_1_67_1","unstructured":"Software Engineering Institute CMU. 2006. Ultra-large-scale systems: The software challenge of the future. http:\/\/www.sei.cmu.edu\/library\/assets\/ULS_Book20062.pdf.  Software Engineering Institute CMU. 2006. Ultra-large-scale systems: The software challenge of the future. http:\/\/www.sei.cmu.edu\/library\/assets\/ULS_Book20062.pdf."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1223644"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1046\/j.1523-1739.1997.96102.x"},{"key":"e_1_2_1_70_1","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip F.","year":"1994","unstructured":"F. Tip . 1994 . A survey of program slicing techniques . J. Program. Lang. 3 , 121 -- 189 . F. Tip. 1994. A survey of program slicing techniques. J. Program. Lang. 3, 121--189.","journal-title":"J. Program. Lang."},{"volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"Van Lamsweerde A.","key":"e_1_2_1_71_1","unstructured":"A. Van Lamsweerde . 2008. Requirements Engineering - From System Goals to UML Models to Software Specifications . Wiley . A. Van Lamsweerde. 2008. Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_2_1_73_1","volume-title":"Software Engineering: An Introduction","author":"Wohlin C.","year":"2000","unstructured":"C. Wohlin , P. Runeson , M. H\u00f6st , M. C. Ohlsson , B. Regnell , and A. Wesslen . 2000 . Experimentation in Software Engineering: An Introduction . Springer . C. Wohlin, P. Runeson, M. H\u00f6st, M. C. Ohlsson, B. Regnell, and A. Wesslen. 2000. Experimentation in Software Engineering: An Introduction. Springer."},{"key":"e_1_2_1_74_1","first-page":"2","article-title":"Contingency tables involving small numbers and the \u03c7 2 test","volume":"1","author":"Yates F.","year":"1934","unstructured":"F. Yates . 1934 . Contingency tables involving small numbers and the \u03c7 2 test . J. Royal Statist. Soc. 1 , 2 . F. Yates. 1934. Contingency tables involving small numbers and the \u03c7 2 test. J. Royal Statist. Soc. 1, 2.","journal-title":"J. Royal Statist. Soc."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2559978","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2559978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:25Z","timestamp":1750234225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2559978"}},"subtitle":["A controlled experiment"],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":74,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["10.1145\/2559978"],"URL":"https:\/\/doi.org\/10.1145\/2559978","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2014,2]]},"assertion":[{"value":"2012-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}