{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T19:55:00Z","timestamp":1778874900402,"version":"3.51.4"},"reference-count":59,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Second Century Fund (C2F) of Chulalongkorn University for the Doctoral Scholarship"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/access.2024.3451012","type":"journal-article","created":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:00:23Z","timestamp":1724871623000},"page":"120584-120596","source":"Crossref","is-referenced-by-count":3,"title":["Predictive Modeling of Software Behavior Using Machine Learning"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2815-5322","authenticated-orcid":false,"given":"C.","family":"Saksupawattanakul","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0457-3474","authenticated-orcid":false,"given":"W.","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume":"137035152","author":"Sommerville","year":"2011","journal-title":"Software Engineering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/a:1026599015809"},{"key":"ref3","volume-title":"Concurrent Programming: Principles and Practice","author":"Andrews","year":"1991"},{"key":"ref4","volume-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.31274\/rtd-180813-9957"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01536-6_8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7966144"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2933042"},{"key":"ref9","article-title":"SGM: Sequence generation model for multi-label classification","author":"Yang","year":"2018","journal-title":"arXiv:1806.04822"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-018-5749-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/BIBM47256.2019.8983384"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2948855"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-020-01838-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2015.64"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.isprsjprs.2019.01.015"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2008.74"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138919"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.309"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.12783\/dtcse\/csae2017\/17515","volume-title":"Structured Algorithm for Software Behavior Model Based on Finite State Automaton","author":"Chen","year":"2018"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2018.2844725"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/access.2019.2922998"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/icassp.2013.6638947"},{"key":"ref26","article-title":"Learning to diagnose with LSTM recurrent neural networks","author":"Lipton","year":"2015","journal-title":"arXiv:1511.03677"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2004.03.009"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.4018\/jdwm.2007070101"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-011-5256-5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09823-4_34"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2006.12.019"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87881-0_40"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44794-6_4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39857-8_15"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.08.002"},{"key":"ref36","first-page":"2482","article-title":"Conditional Bernoulli mixtures for multi-label classification","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Li"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/tkde.2006.162"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.3017382"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D18-1485"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2022.12.022"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.17"},{"key":"ref42","first-page":"838","article-title":"Precision-recall-gain curves: PR analysis done right","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"28","author":"Flach"},{"key":"ref43","article-title":"Inherently interpretable multi-label classification using class-specific counterfactuals","author":"Sun","year":"2023","journal-title":"arXiv:2303.00500"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-019-42294-8"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-024-56706-x"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2011.08.007"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s11063-020-10343-3"},{"key":"ref48","article-title":"Adam: A method for stochastic optimization","author":"Kingma","year":"2014","journal-title":"arXiv:1412.6980"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1148\/radiology.143.1.7063747"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1002\/1097-0142(1950)3:1<32::AID-CNCR2820030106>3.0.CO;2-3"},{"key":"ref51","volume-title":"Complete Results for the 2020 Edition of the Model Checking Contest","author":"Kordon"},{"key":"ref52","first-page":"265","article-title":"Tensorflow: A system for large-scale machine learning","volume-title":"Proc. 12th USENIX Symp. Operating Syst. Design Implement.","author":"Abadi"},{"key":"ref53","volume-title":"Keras","author":"Chollet","year":"2015"},{"issue":"1","key":"ref54","first-page":"1929","article-title":"Dropout: A simple way to prevent neural networks from overfitting","volume":"15","author":"Srivastava","year":"2014","journal-title":"J. Mach. Learn. Res."},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/WACV.2017.58"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24775-3_5"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007649029923"},{"key":"ref58","article-title":"Neural machine translation by jointly learning to align and translate","author":"Bahdanau","year":"2014","journal-title":"arXiv:1409.0473"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10380310\/10654265.pdf?arnumber=10654265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:01:27Z","timestamp":1725768087000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10654265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":59,"URL":"https:\/\/doi.org\/10.1109\/access.2024.3451012","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}