{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T10:11:46Z","timestamp":1766052706164,"version":"3.48.0"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100008982","name":"Qatar National Research Fund","doi-asserted-by":"publisher","award":["NPRP12C-33905-SP-66"],"award-info":[{"award-number":["NPRP12C-33905-SP-66"]}],"id":[{"id":"10.13039\/100008982","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3640722","type":"journal-article","created":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T18:40:02Z","timestamp":1764960002000},"page":"209148-209163","source":"Crossref","is-referenced-by-count":0,"title":["Program Anomalies Detection by Fuzzy Conceptual Learning From Correct Traces in a Bounded Domain"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0219-3809","authenticated-orcid":false,"given":"Fahad","family":"Islam","sequence":"first","affiliation":[{"name":"College of Engineering, Qatar University, Al-Dafna, Doha, Qatar"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4649-5219","authenticated-orcid":false,"given":"Ahmad","family":"Qadeib Alban","sequence":"additional","affiliation":[{"name":"Department of Computer Science, PSL Université Paris, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2849-0569","authenticated-orcid":false,"given":"Qutaibah","family":"Malluhi","sequence":"additional","affiliation":[{"name":"College of Engineering, Qatar University, Al-Dafna, Doha, Qatar"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6578-8191","authenticated-orcid":false,"given":"Ali","family":"Jaoua","sequence":"additional","affiliation":[{"name":"College of Engineering, Qatar University, Al-Dafna, Doha, Qatar"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1016\/j.asoc.2024.112193","article-title":"Fuzzy anomaly scores for isolation forest","volume":"166","author":"Kim","year":"2024","journal-title":"Appl. Soft Comput."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31881-1"},{"key":"ref3","article-title":"FCA using the concept explorer in 2024","author":"Vargas-Garc\u00eda","year":"2024","journal-title":"arXiv:2411.06675"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-014-9400-3"},{"volume-title":"Introduction to Algorithms","year":"2022","author":"Cormen","key":"ref5"},{"key":"ref6","first-page":"1127","article-title":"Influential nodes in a diffusion model for social networks","volume-title":"Proc. Int. Colloq. Automata, Lang., Program.","author":"Kempe"},{"key":"ref7","first-page":"69","article-title":"Efficient and robust trace anomaly detection for large-scale microservice systems","volume-title":"Proc. IEEE 34th Int. Symp. Softw. Rel. Eng. (ISSRE)","author":"Zhang"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2025.3586700"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/icdmw.2018.00204"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/cloud.2019.00038"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-014-0365-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092730"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2023.10.036"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2021.116263","article-title":"AutoLog: Anomaly detection by deep autoencoding of system logs","volume":"191","author":"Catillo","year":"2022","journal-title":"Expert Syst. Appl."},{"key":"ref16","first-page":"2375","article-title":"Trace anomaly detection for microservice systems via graph-based semi-supervised learning","volume-title":"Proc. 27th Int. Conf. Comput. Supported Cooperat. Work Design (CSCWD)","author":"Ding"},{"key":"ref17","first-page":"144","article-title":"LogCAE: An approach for log-based anomaly detection with active learning and contrastive learning","volume-title":"Proc. IEEE 35th Int. Symp. Softw. Rel. Eng. (ISSRE)","author":"Xiao"},{"key":"ref18","first-page":"578","article-title":"Efficient log-based anomaly detection with knowledge distillation","volume-title":"Proc. IEEE Int. Conf. Web Services (ICWS)","volume":"13","author":"Nguyen"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"93911","DOI":"10.1109\/ACCESS.2024.3424488","article-title":"A review of deep learning-based anomaly detection strategies in Industry 4.0 focused on application fields, sensing equipment, and algorithms","volume":"12","author":"Liso","year":"2024","journal-title":"IEEE Access"},{"key":"ref20","first-page":"24","article-title":"Mining invariants from console logs for system problem detection","volume-title":"Proc. USENIX Conf. USENIX Annu. Tech. Conf.","author":"Lou"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337240"},{"key":"ref22","first-page":"743","article-title":"MvLog: Mining invariants by recovering workflow on log for anomaly detection","volume-title":"Proc. 5th Int. Conf. Artif. Intell. Comput. Appl. (ICAICA)","author":"Tian"},{"issue":"4","key":"ref23","doi-asserted-by":"crossref","first-page":"4456","DOI":"10.1109\/TDSC.2025.3548050","article-title":"LogDLR: Unsupervised cross-system log anomaly detection through domain-invariant latent representation","volume":"22","author":"Zhou","year":"2025","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"ref24","article-title":"Stryker: Scaling specification-based program repair by pruning infeasible mutants with SAT","author":"Zem\u00edn","year":"2019","journal-title":"arXiv:1910.14011"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1016\/j.is.2019.101438","article-title":"Mining association rules for anomaly detection in dynamic process runtime behavior and explaining the root cause to users","volume":"90","author":"B\u00f6hmer","year":"2020","journal-title":"Inf. Syst."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.3027508"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiomed.2017.07.018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2003.06.013"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/11528784_1","article-title":"Formal concept analysis as mathematical theory of concepts and concept hierarchies","volume-title":"Formal Concept Analysis","author":"Wille","year":"2005"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/11278586.pdf?arnumber=11278586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T10:08:06Z","timestamp":1766052486000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11278586\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3640722","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2025]]}}}