{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:03:58Z","timestamp":1755795838221,"version":"3.37.3"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2023,2,25]],"date-time":"2023-02-25T00:00:00Z","timestamp":1677283200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,2,25]],"date-time":"2023-02-25T00:00:00Z","timestamp":1677283200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In the design of autonomous systems, it is important to consider the preferences of the interested parties to improve the user experience. These preferences are often associated with the contexts in which each system is likely to operate. The operational behavior of a system must also meet various non-functional requirements (NFRs), which can present different levels of conflict depending on the operational context. This work aims to model correlations between the individual contexts and the consequent conflicts between NFRs. The proposed approach is based on analyzing the system event logs, tracing them back to the leaf elements at the specification level and providing a contextual explanation of the system\u2019s behavior. The traced contexts and NFR conflicts are then mined to produce Context-Context and Context-NFR conflict sequential rules. The proposed Contextual Explainability (ConE) framework uses BERT-based pre-trained language models and sequential rule mining libraries for deriving the above correlations. Extensive evaluations are performed to compare the existing state-of-the-art approaches. The best-fit solutions are chosen to integrate within the ConE framework. Based on experiments, an accuracy of 80%, a precision of 90%, a recall of 97%, and an F1-score of 88% are recorded for the ConE framework on the sequential rules that were mined.<\/jats:p>","DOI":"10.1007\/s10270-023-01087-4","type":"journal-article","created":{"date-parts":[[2023,2,25]],"date-time":"2023-02-25T07:06:08Z","timestamp":1677308768000},"page":"1987-2010","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Correlating contexts and NFR conflicts from event logs"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3131-6513","authenticated-orcid":false,"given":"Mandira","family":"Roy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souvick","family":"Das","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Novarun","family":"Deb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rituparna","family":"Chaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabendu","family":"Chaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,25]]},"reference":[{"issue":"7","key":"1087_CR1","doi-asserted-by":"publisher","first-page":"902","DOI":"10.1109\/32.29489","volume":"15","author":"B Boehm","year":"1989","unstructured":"Boehm, B., Ross, R.: Theory-W software project management principles and examples. IEEE Trans. Softw. Eng. 15(7), 902\u2013916 (1989). https:\/\/doi.org\/10.1109\/32.29489","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"1087_CR2","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1002\/sys.21572","volume":"24","author":"M Roy","year":"2021","unstructured":"Roy, M., Deb, N., Cortesi, A., Chaki, R., Chaki, N.: NFR-aware prioritization of software requirements. Syst. Eng. 24(3), 158\u2013176 (2021). https:\/\/doi.org\/10.1002\/sys.21572","journal-title":"Syst. Eng."},{"issue":"3","key":"1087_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s11334-021-00406-6","volume":"17","author":"M Roy","year":"2021","unstructured":"Roy, M., Deb, N., Cortesi, A., Chaki, R., Chaki, N.: Requirement-oriented risk management for incremental software development. Innov. Syst. Softw. Eng. 17(3), 187\u2013204 (2021). https:\/\/doi.org\/10.1007\/s11334-021-00406-6","journal-title":"Innov. Syst. Softw. Eng."},{"key":"1087_CR4","doi-asserted-by":"publisher","unstructured":"Roy, M., Deb, N., Cortesi, A., Chaki, R., Chaki, N.: CARO: a conflict-aware requirement ordering tool for DevOps. In: Proceedings of the IEEE International Conference on Requirements Engineering, pp. 442\u2013443 (2021). https:\/\/doi.org\/10.1109\/RE51729.2021.00061","DOI":"10.1109\/RE51729.2021.00061"},{"key":"1087_CR5","doi-asserted-by":"publisher","first-page":"34564","DOI":"10.1109\/ACCESS.2020.2975142","volume":"8","author":"M Gupta","year":"2020","unstructured":"Gupta, M., Abdelsalam, M., Khorsandroo, S., Mittal, S.: Security and privacy in smart farming: challenges and opportunities. IEEE Access 8, 34564\u201334584 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2975142","journal-title":"IEEE Access"},{"key":"1087_CR6","doi-asserted-by":"publisher","unstructured":"Samin, H.: Priority-awareness of non-functional requirements under uncertainty. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 416\u2013421 (2020). https:\/\/doi.org\/10.1109\/RE48521.2020.00061","DOI":"10.1109\/RE48521.2020.00061"},{"key":"1087_CR7","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s00766-010-0110-z","volume":"15","author":"R Ali","year":"2010","unstructured":"Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15, 439\u2013458 (2010). https:\/\/doi.org\/10.1007\/s00766-010-0110-z","journal-title":"Requir. Eng."},{"key":"1087_CR8","doi-asserted-by":"publisher","unstructured":"Botangen, K.A., Yu, J., Yongchareon, S., Yang, L.H., Bai, Q.: Specifying and reasoning about contextual preferences in the goal-oriented requirements modelling (2018). https:\/\/doi.org\/10.1145\/3167918.3167945","DOI":"10.1145\/3167918.3167945"},{"key":"1087_CR9","doi-asserted-by":"crossref","unstructured":"Fournier-Viger, P. et\u00a0al.: The SPMF open-source data mining library version 2. In: Proceedings of the 19th European Conference on Principles of Data Mining and Knowledge Discovery (PKDD 2016) Part III, Springer LNCS 9853, pp. 36\u201340 (2016). https:\/\/www.philippe-fournier-viger.com\/spmf\/","DOI":"10.1007\/978-3-319-46131-1_8"},{"key":"1087_CR10","unstructured":"Doran, D., Schulz, S., Besold, T.R.: What does explainable AI really mean? A new conceptualization of perspectives. arXiv:1710.00794 (2017)"},{"key":"1087_CR11","doi-asserted-by":"publisher","unstructured":"Selvaraju, R.R., et al.: Grad-cam: visual explanations from deep networks via gradient-based localization. In: Proceedings of the IEEE International Conference on Computer Vision, pp. 618\u2013626 (2017). https:\/\/doi.org\/10.1109\/ICCV.2017.74","DOI":"10.1109\/ICCV.2017.74"},{"issue":"4\u20135","key":"1087_CR12","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s11257-011-9117-5","volume":"22","author":"N Tintarev","year":"2012","unstructured":"Tintarev, N., Masthoff, J.: Evaluating the effectiveness of explanations for recommender systems. User Model. User-Adapt. Interact. 22(4\u20135), 399\u2013439 (2012). https:\/\/doi.org\/10.1007\/s11257-011-9117-5","journal-title":"User Model. User-Adapt. Interact."},{"key":"1087_CR13","doi-asserted-by":"publisher","unstructured":"Kulesza, T. et\u00a0al.: Too much, too little, or just right? Ways explanations impact end users\u2019 mental models. In: 2013 IEEE Symposium on Visual Languages and Human Centric Computing, pp. 3\u201310 (2013). https:\/\/doi.org\/10.1109\/VLHCC.2013.6645235","DOI":"10.1109\/VLHCC.2013.6645235"},{"issue":"4","key":"1087_CR14","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s00766-020-00333-1","volume":"25","author":"L Chazette","year":"2020","unstructured":"Chazette, L., Schneider, K.: Explainability as a non-functional requirement: challenges and recommendations. Requir. Eng. 25(4), 493\u2013514 (2020). https:\/\/doi.org\/10.1007\/s00766-020-00333-1","journal-title":"Requir. Eng."},{"key":"1087_CR15","doi-asserted-by":"publisher","unstructured":"Chazette, L., Brunotte, W., Speith, T.: Exploring explainability: a definition, a model, and a knowledge catalogue. In: 2021 IEEE 29th International Requirements Engineering Conference (RE), pp. 197\u2013208 (2021). https:\/\/doi.org\/10.1109\/RE51729.2021.00025","DOI":"10.1109\/RE51729.2021.00025"},{"key":"1087_CR16","doi-asserted-by":"publisher","unstructured":"Sadeghi, M., Kl\u00f6s, V., Vogelsang, A.: Cases for explainable software systems: characteristics and examples. In: 2021 IEEE 29th International Requirements Engineering Conference Workshops (REW), pp. 181\u2013187 (2021). https:\/\/doi.org\/10.1109\/REW53955.2021.00033","DOI":"10.1109\/REW53955.2021.00033"},{"key":"1087_CR17","doi-asserted-by":"crossref","unstructured":"Beaudouin, V. et\u00a0al.: Flexible and context-specific AI explainability: a multidisciplinary approach. Available at SSRN 3559477 (2020)","DOI":"10.2139\/ssrn.3559477"},{"key":"1087_CR18","unstructured":"Koh, P.W., Liang, P.: Understanding black-box predictions via influence functions. In: International Conference on Machine Learning, pp. 1885\u20131894 (2017)"},{"key":"1087_CR19","doi-asserted-by":"publisher","unstructured":"Ribeiro, M.\u00a0T., Singh, S., Guestrin, C.: \u201cWhy should i trust you?\u201d Explaining the predictions of any classifier. In: Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 1135\u20131144 (2016). https:\/\/doi.org\/10.18653\/v1\/N16-3020","DOI":"10.18653\/v1\/N16-3020"},{"key":"1087_CR20","doi-asserted-by":"publisher","unstructured":"Hamel, L.: Visualization of support vector machines with unsupervised learning. In: 2006 IEEE Symposium on Computational Intelligence and Bioinformatics and Computational Biology, pp. 1\u20138 (2006). https:\/\/doi.org\/10.1109\/CIBCB.2006.330984","DOI":"10.1109\/CIBCB.2006.330984"},{"key":"1087_CR21","doi-asserted-by":"publisher","unstructured":"Jakulin, A., Mo\u017eina, M., Dem\u0161ar, J., Bratko, I. & Zupan, B.: Nomograms for visualizing support vector machines. In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery in Data Mining, pp. 108\u2013117 (2005). https:\/\/doi.org\/10.1145\/1081870.1081886","DOI":"10.1145\/1081870.1081886"},{"key":"1087_CR22","doi-asserted-by":"publisher","unstructured":"Mo\u017eina, M., Dem\u0161ar, J., Kattan, M., Zupan, B.: Nomograms for visualization of Naive Bayesian classifier. In: European Conference on Principles of Data Mining and Knowledge Discovery, pp. 337\u2013348 (2004). https:\/\/doi.org\/10.1007\/978-3-540-30116-5_32","DOI":"10.1007\/978-3-540-30116-5_32"},{"key":"1087_CR23","unstructured":"Kim, B., Glassman, E., Johnson, B., Shah, J.: iBCM: Interactive Bayesian case model empowering humans via intuitive interaction. CSAIL Technical Reports (July 1, 2003 - present) (2015). http:\/\/hdl.handle.net\/1721.1\/96315"},{"key":"1087_CR24","doi-asserted-by":"publisher","unstructured":"Dam, H.K., Tran, T., Ghose, A.: Explainable software analytics. In: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, pp. 53\u201356 (2018). https:\/\/doi.org\/10.1145\/3183399.3183424","DOI":"10.1145\/3183399.3183424"},{"key":"1087_CR25","unstructured":"Zevenbergen, B., Woodruff, A., Kelley, P.G.: Explainability case studies. arXiv:2009.00246 (2020)"},{"issue":"1","key":"1087_CR26","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s11257-011-9112-x","volume":"22","author":"JA Konstan","year":"2012","unstructured":"Konstan, J.A., Riedl, J.: Recommender systems: from algorithms to user experience. User Model. User-Adapt. Interact. 22(1), 101\u2013123 (2012). https:\/\/doi.org\/10.1007\/s11257-011-9112-x","journal-title":"User Model. User-Adapt. Interact."},{"key":"1087_CR27","doi-asserted-by":"publisher","unstructured":"Vultureanu-Albi\u015fi, A., B\u0103dic\u0103, C.: Explainable collaborative filtering recommendations enriched with contextual information. In: 2021 25th International Conference on System Theory, Control and Computing (ICSTCC), pp. 701\u2013706 (2021). https:\/\/doi.org\/10.1109\/ICSTCC52150.2021.9607106","DOI":"10.1109\/ICSTCC52150.2021.9607106"},{"key":"1087_CR28","volume-title":"Modelling Strategic Relationships for Process Reengineering","author":"ES-K Yu","year":"1996","unstructured":"Yu, E.S.-K.: Modelling Strategic Relationships for Process Reengineering. University of Toronto, Toronto (1996)"},{"key":"1087_CR29","doi-asserted-by":"crossref","unstructured":"Mairiza, D., Zowghi, D., Nurmuliani, N.: Towards a catalogue of conflicts among non-functional requirements. In: ENASE\u2014Proceedings of the 5th International Conference on Evaluation of Novel Approaches to Software Engineering, Athens, Greece, pp. 20\u201329 (2010)","DOI":"10.5220\/0002927900200029"},{"key":"1087_CR30","doi-asserted-by":"publisher","unstructured":"Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering, vol. 5 (2000). https:\/\/doi.org\/10.1007\/978-1-4615-5269-7","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"1087_CR31","doi-asserted-by":"publisher","unstructured":"Carvalho, R.M.: Dealing with conflicts between non-functional requirements of ubicomp and IoT applications. In: 25th IEEE International Requirements Engineering Conference, RE, Lisbon, Portugal, pp. 544\u2013549 (2017). https:\/\/doi.org\/10.1109\/RE.2017.51","DOI":"10.1109\/RE.2017.51"},{"key":"1087_CR32","doi-asserted-by":"publisher","unstructured":"Fournier-Viger, P., et al.: Erminer: sequential rule mining using equivalence classes. In: Advances in Intelligent Data Analysis XIII, pp. 108\u2013119 (2014). https:\/\/doi.org\/10.1007\/978-3-319-12571-8_10","DOI":"10.1007\/978-3-319-12571-8_10"},{"issue":"8","key":"1087_CR33","doi-asserted-by":"publisher","first-page":"2203","DOI":"10.1109\/TKDE.2015.2405509","volume":"27","author":"P Fournier-Viger","year":"2015","unstructured":"Fournier-Viger, P., Wu, C.W., Tseng, V.S., Cao, L., Nkambou, R.: Mining partially-ordered sequential rules common to multiple sequences. IEEE Trans. Knowl. Data Eng. 27(8), 2203\u20132216 (2015). https:\/\/doi.org\/10.1109\/TKDE.2015.2405509","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1","key":"1087_CR34","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.knosys.2011.07.005","volume":"25","author":"P Fournier-Viger","year":"2012","unstructured":"Fournier-Viger, P., Faghihi, U., Nkambou, R., Nguifo, E.M.: CMRules: mining sequential rules common to several sequences. Knowl.-Based Syst. 25(1), 63\u201376 (2012)","journal-title":"Knowl.-Based Syst."},{"key":"1087_CR35","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1007652502315","volume":"42","author":"MJ Zaki","year":"2001","unstructured":"Zaki, M.J.: SPADE: an efficient algorithm for mining frequent sequences. Mach. Learn. 42, 31\u201360 (2001). https:\/\/doi.org\/10.1023\/A:1007652502315","journal-title":"Mach. Learn."},{"key":"1087_CR36","unstructured":"Devlin, J., Chang, M.-W., Lee, K., Toutanova, K.: BERT: Pre-training of deep bidirectional transformers for language understanding. arXiv:1810.04805 (2018)"},{"issue":"69","key":"1087_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s42979-020-00427-1","volume":"2","author":"S Das","year":"2021","unstructured":"Das, S., Deb, N., Cortesi, A., Chaki, N.: Sentence embedding models for similarity detection of software requirements. SN Comput. Sci. 2(69), 1\u201311 (2021). https:\/\/doi.org\/10.1007\/s42979-020-00427-1","journal-title":"SN Comput. Sci."},{"key":"1087_CR38","doi-asserted-by":"publisher","unstructured":"Alsentzer, E. et\u00a0al.: Publicly available clinical BERT embeddings (2019). https:\/\/doi.org\/10.48550\/ARXIV.1904.03323","DOI":"10.48550\/ARXIV.1904.03323"},{"key":"1087_CR39","doi-asserted-by":"publisher","unstructured":"Lu, Y., Chen, Q., Poon, S.K.: A deep learning approach for repairing missing activity labels in event logs for process mining (2022). https:\/\/doi.org\/10.48550\/ARXIV.2202.10326","DOI":"10.48550\/ARXIV.2202.10326"},{"key":"1087_CR40","unstructured":"Liu, Y. et\u00a0al.: RoBERTa: a robustly optimized BERT pretraining approach. arXiv:1907.11692 (2019)"},{"key":"1087_CR41","doi-asserted-by":"crossref","unstructured":"Reimers, N., Gurevych, I.: Sentence-BERT: sentence embeddings using Siamese BERT-networks. arXiv:1908.10084 (2019)","DOI":"10.18653\/v1\/D19-1410"},{"key":"1087_CR42","doi-asserted-by":"crossref","unstructured":"Sitikhu, P., Pahi, K., Thapa, P., Shakya, S.: A comparison of semantic similarity methods for maximum human interpretability, vol.\u00a01, p. 1\u20134 (IEEE, 2019)","DOI":"10.1109\/AITB48515.2019.8947433"},{"key":"1087_CR43","unstructured":"jUCMNav 7.0.0: University of Ottawa, ACC. September (2016) https:\/\/github.com\/JUCMNAV"},{"key":"1087_CR44","first-page":"201","volume-title":"Towards Advanced Goal Model Analysis with jUCMNav. Lecture Notes in Computer Science","author":"D Amyot","year":"2012","unstructured":"Amyot, D., Shamsaei, A.: Towards Advanced Goal Model Analysis with jUCMNav. Lecture Notes in Computer Science, vol. 7518, pp. 201\u2013210. Springer, Berlin (2012)"},{"issue":"1","key":"1087_CR45","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1504\/IJMSO.2016.078110","volume":"11","author":"S Banerjee","year":"2016","unstructured":"Banerjee, S., Sarkar, A.: Ontology-driven approach towards domain-specific system design. Int. J. Metadata Semant. Ontol. 11(1), 39\u201360 (2016). https:\/\/doi.org\/10.1504\/IJMSO.2016.078110","journal-title":"Int. J. Metadata Semant. Ontol."},{"key":"1087_CR46","doi-asserted-by":"crossref","unstructured":"Banerjee, S., Sarkar, A.: Ontology driven conceptualization of context-dependent data streams and streaming databases. Comput. Inf. Syst. Ind. Manag., 240\u2013252 (2017)","DOI":"10.1007\/978-3-319-59105-6_21"},{"key":"1087_CR47","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1504\/IJHTM.2017.088869","volume":"16","author":"S Banerjee","year":"2017","unstructured":"Banerjee, S., Sarkar, A.: Ontology driven meta-modelling of clinical documents. Int.J. Healthc. Technol. Manag. 16, 271 (2017). https:\/\/doi.org\/10.1504\/IJHTM.2017.088869","journal-title":"Int.J. Healthc. Technol. Manag."},{"issue":"1","key":"1087_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41746-021-00455-y","volume":"4","author":"L Rasmy","year":"2021","unstructured":"Rasmy, L., Xiang, Y., Xie, Z., Tao, C., Zhi, D.: Med-BERT: pretrained contextualized embeddings on large-scale structured electronic health records for disease prediction. NPJ Digit. Med. 4(1), 1\u201313 (2021)","journal-title":"NPJ Digit. Med."},{"issue":"1","key":"1087_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/sdata.2016.35","volume":"3","author":"AE Johnson","year":"2016","unstructured":"Johnson, A.E., et al.: MIMIC-III, a freely accessible critical care database. Sci. Data 3(1), 1\u20139 (2016)","journal-title":"Sci. Data"},{"key":"1087_CR50","unstructured":"Sanh, V., Debut, L., Chaumond, J., Wolf, T. DistilBERT, a distilled version of BERT: smaller, faster, cheaper and lighter. arXiv:1910.01108 (2019)"},{"issue":"2","key":"1087_CR51","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s42979-020-00427-1","volume":"2","author":"S Das","year":"2021","unstructured":"Das, S., Deb, N., Cortesi, A., Chaki, N.: Sentence embedding models for similarity detection of software requirements. SN Comput. Sci. 2(2), 1\u201311 (2021). https:\/\/doi.org\/10.1007\/s42979-020-00427-1","journal-title":"SN Comput. Sci."},{"key":"1087_CR52","doi-asserted-by":"publisher","first-page":"1612","DOI":"10.3390\/ijerph17051612","volume":"17","author":"A Pika","year":"2020","unstructured":"Pika, A., et al.: Privacy-preserving process mining in healthcare. Int. J. Environ. Res. Public Health 17, 1612 (2020). https:\/\/doi.org\/10.3390\/ijerph17051612","journal-title":"Int. J. Environ. Res. Public Health"},{"key":"1087_CR53","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-540-31865-1_25","volume":"3408","author":"C Goutte","year":"2005","unstructured":"Goutte, C., Gaussier, E.: A probabilistic interpretation of precision, recall and F-score, with implication for evaluation. Lect. Notes Comput. Sci. 3408, 345\u2013359 (2005). https:\/\/doi.org\/10.1007\/978-3-540-31865-1_25","journal-title":"Lect. Notes Comput. Sci."},{"key":"1087_CR54","doi-asserted-by":"publisher","unstructured":"Dalianis, H. (2018) Evaluation metrics and evaluation. In: Clinical Text Mining: Secondary Use of Electronic Patient Records. pp. 45\u201353. https:\/\/doi.org\/10.1007\/978-3-319-78503-5_6","DOI":"10.1007\/978-3-319-78503-5_6"},{"key":"1087_CR55","doi-asserted-by":"publisher","unstructured":"Ferrara, P., Mandal, A.K., Cortesi, A., Spoto, F.: Static analysis for discovering IoT vulnerabilities. Int. J. Softw. Tools Technol. Transf. 23(1), 71\u201388 (2021). https:\/\/doi.org\/10.1007\/s10009-020-00592-x","DOI":"10.1007\/s10009-020-00592-x"},{"issue":"7","key":"1087_CR56","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1002\/spe.2698","volume":"49","author":"AK Mandal","year":"2019","unstructured":"Mandal, A.K., Panarotto, F., Cortesi, A., Ferrara, P., Spoto, F.: Static analysis of android auto infotainment and on-board diagnostics II apps. Softw. Pract. Exp. 49(7), 1131\u20131161 (2019). https:\/\/doi.org\/10.1002\/spe.2698","journal-title":"Softw. Pract. Exp."},{"key":"1087_CR57","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.859446","author":"R White","year":"2018","unstructured":"White, R., Christensen, H.I., Caiazza, G., Cortesi, A.: Procedurally provisioned access control for robotic systems. IEEE Int. Conf. Intell. Robots Syst. (2018). https:\/\/doi.org\/10.1109\/IROS.2018.859446","journal-title":"IEEE Int. Conf. Intell. Robots Syst."},{"key":"1087_CR58","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-030-20190-6_8","volume":"831","author":"B Dieber","year":"2020","unstructured":"Dieber, B., et al.: Penetration testing ROS. Stud. Comput. Intell. 831, 183\u2013225 (2020). https:\/\/doi.org\/10.1007\/978-3-030-20190-6_8","journal-title":"Stud. Comput. Intell."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01087-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-023-01087-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01087-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T04:35:40Z","timestamp":1728966940000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-023-01087-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,25]]},"references-count":58,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["1087"],"URL":"https:\/\/doi.org\/10.1007\/s10270-023-01087-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2023,2,25]]},"assertion":[{"value":"19 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 January 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 February 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}