{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:06Z","timestamp":1750306086094,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["FNR\/P10\/03"],"award-info":[{"award-number":["FNR\/P10\/03"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["IC1404"],"award-info":[{"award-number":["IC1404"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004410","name":"T\u00fcrkiye Bilimsel ve Teknolojik Ara_tirma Kurumu","doi-asserted-by":"publisher","award":["9140014, 9150181"],"award-info":[{"award-number":["9140014, 9150181"]}],"id":[{"id":"10.13039\/501100004410","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3122825","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"959-963","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A tool for automated reasoning about traces based on configurable formal semantics"],"prefix":"10.1145","author":[{"given":"Ferhat","family":"Erata","sequence":"first","affiliation":[{"name":"Wageningen University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arda","family":"Goknil","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bedir","family":"Tekinerdogan","sequence":"additional","affiliation":[{"name":"Wageningen University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geylani","family":"Kardas","sequence":"additional","affiliation":[{"name":"Ege University, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Airbus. 2017. http:\/\/www.airbus.com\/. (2017).  Airbus. 2017. http:\/\/www.airbus.com\/. (2017)."},{"volume-title":"Operational Semantics for Traceability. In ECMDA Traceability Workshop (ECMDA-TW\u201905)","author":"Aizenbud-Reshef Netta","key":"e_1_3_2_1_2_1","unstructured":"Netta Aizenbud-Reshef , Richard F. Paige , Julia Rubin , Yael Shaham-Gafni , and Dimitrios S. Kolovos . 2005 . Operational Semantics for Traceability. In ECMDA Traceability Workshop (ECMDA-TW\u201905) . 8\u201314. Netta Aizenbud-Reshef, Richard F. Paige, Julia Rubin, Yael Shaham-Gafni, and Dimitrios S. Kolovos. 2005. Operational Semantics for Traceability. In ECMDA Traceability Workshop (ECMDA-TW\u201905). 8\u201314."},{"key":"e_1_3_2_1_3_1","unstructured":"Alloy4graph. 2017. http:\/\/alloy.mit.edu\/alloy\/documentation\/alloy-api\/. (2017).  Alloy4graph. 2017. http:\/\/alloy.mit.edu\/alloy\/documentation\/alloy-api\/. (2017)."},{"key":"e_1_3_2_1_4_1","unstructured":"Alloy4viz. 2017. http:\/\/alloy.mit.edu\/alloy\/documentation\/alloy-api\/. (2017).  Alloy4viz. 2017. http:\/\/alloy.mit.edu\/alloy\/documentation\/alloy-api\/. (2017)."},{"key":"e_1_3_2_1_5_1","unstructured":"Kodkod API. 2017. http:\/\/emina.github.io\/kodkod\/release\/current\/doc\/. (2017).  Kodkod API. 2017. http:\/\/emina.github.io\/kodkod\/release\/current\/doc\/. (2017)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1232285"},{"volume-title":"1st International Conference on Software Language Engineering (SLE\u201908)","author":"Drivalos Nikolaos","key":"e_1_3_2_1_7_1","unstructured":"Nikolaos Drivalos , Dimitrios S. Kolovos , Richard F. Paige , and Kiran J. Fernandes . 2008. Engineering a DSL for Software Traceability . In 1st International Conference on Software Language Engineering (SLE\u201908) . 151\u2013167. Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, and Kiran J. Fernandes. 2008. Engineering a DSL for Software Traceability. In 1st International Conference on Software Language Engineering (SLE\u201908). 151\u2013167."},{"key":"e_1_3_2_1_8_1","unstructured":"Eclipse. 2017. https:\/\/eclipse.org. (2017).  Eclipse. 2017. https:\/\/eclipse.org. (2017)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178051"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194005002464"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019747"},{"key":"e_1_3_2_1_13_1","volume-title":"Text &amp","author":"Information ITEA","year":"2014","unstructured":"ITEA ( Information Technology for European Advancement). 2014. ModelWriter : Text &amp ; Model Synchronized Document Engineering Platform . https:\/\/itea3.org\/ project\/modelwriter.html. ( Sep 2014 ). ITEA (Information Technology for European Advancement). 2014. ModelWriter: Text & Model Synchronized Document Engineering Platform. https:\/\/itea3.org\/ project\/modelwriter.html. (Sep 2014)."},{"key":"e_1_3_2_1_14_1","volume-title":"ASSUME: Affordable Safe &amp","author":"Information ITEA","year":"2015","unstructured":"ITEA ( Information Technology for European Advancement). 2015 . ASSUME: Affordable Safe &amp ; Secure Mobility Evolution . https:\/\/itea3.org\/project\/assume. html. (Sep 2015). ITEA (Information Technology for European Advancement). 2015. ASSUME: Affordable Safe & Secure Mobility Evolution. https:\/\/itea3.org\/project\/assume. html. (Sep 2015)."},{"key":"e_1_3_2_1_15_1","unstructured":"Ford-Otosan. 2017. http:\/\/www.fordotosan.com.tr. (2017).  Ford-Otosan. 2017. http:\/\/www.fordotosan.com.tr. (2017)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2747015.2747181"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2013.26"},{"volume-title":"the ECMDA Traceability Workshop (ECMDA-TW\u201908)","author":"G\u00f6knil Arda","key":"e_1_3_2_1_18_1","unstructured":"Arda G\u00f6knil , Ivan Kurtev , and Klaas van den Berg. 2008. Change Impact Analysis based on Formalization of Trace Relations for Requirements . In the ECMDA Traceability Workshop (ECMDA-TW\u201908) . 59\u201375. Arda G\u00f6knil, Ivan Kurtev, and Klaas van den Berg. 2008. Change Impact Analysis based on Formalization of Trace Relations for Requirements. In the ECMDA Traceability Workshop (ECMDA-TW\u201908). 59\u201375."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_21"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1814392.1814398"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.03.002"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0142-3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58068-5_17"},{"key":"e_1_3_2_1_24_1","unstructured":"Havelsan. 2017. http:\/\/www.havelsan.com.tr. (2017).  Havelsan. 2017. http:\/\/www.havelsan.com.tr. (2017)."},{"key":"e_1_3_2_1_25_1","unstructured":"ISO. 2017. ISO-26262: Road vehicles \u2013 Functional safety. (2017).  ISO. 2017. ISO-26262: Road vehicles \u2013 Functional safety. (2017)."},{"key":"e_1_3_2_1_26_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2012","unstructured":"Daniel Jackson . 2012 . Software Abstractions: Logic, Language, and Analysis . MIT press . Daniel Jackson. 2012. Software Abstractions: Logic, Language, and Analysis. MIT press."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.23"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1987856.1987866"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.895989"},{"key":"e_1_3_2_1_30_1","unstructured":"RTCA and EUROCAE. 2017. DO-178C: Software Considerations in Airborne Systems and Equipment Certification. (2017).  RTCA and EUROCAE. 2017. DO-178C: Software Considerations in Airborne Systems and Equipment Certification. (2017)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.18"},{"key":"e_1_3_2_1_32_1","volume-title":"Fairley","author":"IEEE Computer Society","year":"2014","unstructured":"IEEE Computer Society , Pierre Bourque , and Richard E . Fairley . 2014 . Guide to the Software Engineering Body of Knowledge (SWEBOK(R)): Version 3.0 ( 3 rd ed.). IEEE Computer Society Press , Los Alamitos, CA, USA. IEEE Computer Society, Pierre Bourque, and Richard E. Fairley. 2014. Guide to the Software Engineering Body of Knowledge (SWEBOK(R)): Version 3.0 (3rd ed.). IEEE Computer Society Press, Los Alamitos, CA, USA.","edition":"3"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"volume-title":"the ECMDA Traceability Workshop (ECMDATW\u201909)","author":"Hove David","key":"e_1_3_2_1_34_1","unstructured":"David ten Hove , Arda Goknil , Ivan Kurtev , Klaas van den Berg, and Koos de Goede. 2009. Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations . In the ECMDA Traceability Workshop (ECMDATW\u201909) . 17\u201328. David ten Hove, Arda Goknil, Ivan Kurtev, Klaas van den Berg, and Koos de Goede. 2009. Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations. In the ECMDA Traceability Workshop (ECMDATW\u201909). 17\u201328."},{"key":"e_1_3_2_1_36_1","volume-title":"Kodkod: A Relational Model Finder. In the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201907)","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson . 2007 . Kodkod: A Relational Model Finder. In the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201907) . 632\u2013647. Abstract 1 Introduction 2 Related Work 3 Tool Overview 3.1 Specification of Trace Types and Semantics 3.2 Trace Assignment in Project Artifacts 3.3 Automated Reasoning about Traces 4 Evaluation 5 Implementation & Availability 6 Conclusion Acknowledgments References Emina Torlak and Daniel Jackson. 2007. Kodkod: A Relational Model Finder. In the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201907). 632\u2013647. Abstract 1 Introduction 2 Related Work 3 Tool Overview 3.1 Specification of Trace Types and Semantics 3.2 Trace Assignment in Project Artifacts 3.3 Automated Reasoning about Traces 4 Evaluation 5 Implementation & Availability 6 Conclusion Acknowledgments References"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Paderborn Germany","acronym":"ESEC\/FSE'17"},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122825","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3122825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:17Z","timestamp":1750217417000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":35,"alternative-id":["10.1145\/3106237.3122825","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3122825","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}