{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T10:39:26Z","timestamp":1767955166758,"version":"3.49.0"},"reference-count":39,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","funder":[{"DOI":"10.13039\/501100001809","name":"the Joint Funds of the National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["U2241216"],"award-info":[{"award-number":["U2241216"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2026,3,15]]},"abstract":"<jats:p>The integration of combinatorial testing (CT) with safety requirement analysis remains challenging for complex software systems, particularly when evolving requirements necessitate dynamic updates to test constraints. Traditional CT methods often fail to systematically incorporate safety constraints derived from early-phase requirements, leading to test suites that become obsolete as system specifications change. In this paper, we propose a novel method that embeds system-theoretic process analysis (STPA) into the CT workflow, enabling the automatic derivation and maintenance of safety-aware combinatorial test. Our approach First formalizes STPA-identified unsafe control actions and hazard mitigation rules as refined constraints, then integrated the refined constraints into constraint model to guide incremental test sequence generation. Experimental results demonstrate that our method achieves an effective improvement in test generation efficiency across three representative case studies (robotic control, secure vault system and civil aircraft flight mode transitions), while maintaining compliance with dynamically evolving safety requirements.<\/jats:p>","DOI":"10.1142\/s021819402550072x","type":"journal-article","created":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T10:01:35Z","timestamp":1759917695000},"page":"403-429","source":"Crossref","is-referenced-by-count":0,"title":["Combinatorial Test Sequence Generation Method Integrated with STPA"],"prefix":"10.1142","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-3235-3281","authenticated-orcid":false,"given":"Heng","family":"Xu","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6843-1892","authenticated-orcid":false,"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0698-7307","authenticated-orcid":false,"given":"Chuanqi","family":"Tao","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3215-4691","authenticated-orcid":false,"given":"Jian","family":"Xie","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2374-3960","authenticated-orcid":false,"given":"Jun","family":"Hu","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2025,11,3]]},"reference":[{"key":"S021819402550072XBIB001","doi-asserted-by":"publisher","DOI":"10.1145\/3524481.3527235"},{"key":"S021819402550072XBIB002","doi-asserted-by":"publisher","DOI":"10.1137\/120894099"},{"key":"S021819402550072XBIB003","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3343753"},{"key":"S021819402550072XBIB004","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.408"},{"key":"S021819402550072XBIB005","doi-asserted-by":"publisher","DOI":"10.4271\/2013-01-1228"},{"key":"S021819402550072XBIB006","first-page":"437","volume-title":"Int. Conf. Learning and Intelligent Optimization","author":"Simos D. E.","year":"2018"},{"key":"S021819402550072XBIB007","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2015.05.003"},{"key":"S021819402550072XBIB008","first-page":"137","volume-title":"Advances in Electronics Engineering","author":"Alazzawi A. K.","year":"2019"},{"key":"S021819402550072XBIB009","first-page":"1","volume-title":"24th Pacific Northwest Software Quality Conf.","volume":"200","author":"Czerwonka J.","year":"2006"},{"key":"S021819402550072XBIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.10.048"},{"key":"S021819402550072XBIB011","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2018.00055"},{"key":"S021819402550072XBIB012","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2025.3587202"},{"key":"S021819402550072XBIB013","doi-asserted-by":"publisher","DOI":"10.1145\/3555776.3577703"},{"key":"S021819402550072XBIB014","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9171-4"},{"key":"S021819402550072XBIB015","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.147"},{"key":"S021819402550072XBIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2007.07.069"},{"key":"S021819402550072XBIB017","first-page":"274","volume-title":"Int. Workshop on Combinatorial Algorithms","author":"Murray P. C.","year":"2014"},{"key":"S021819402550072XBIB018","first-page":"81","volume-title":"2012 IEEE Symp. Computers & Informatics","author":"Hazli M. Z. M.","year":"2012"},{"key":"S021819402550072XBIB019","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00036"},{"key":"S021819402550072XBIB020","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.01.012"},{"key":"S021819402550072XBIB021","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2018.2810280"},{"key":"S021819402550072XBIB022","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"S021819402550072XBIB023","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065972"},{"key":"S021819402550072XBIB024","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.15"},{"key":"S021819402550072XBIB025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31280-0_5"},{"key":"S021819402550072XBIB026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33163-3_17"},{"key":"S021819402550072XBIB027","doi-asserted-by":"publisher","DOI":"10.1201\/9780429281624-6"},{"key":"S021819402550072XBIB028","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC57700.2023.00262"},{"key":"S021819402550072XBIB029","doi-asserted-by":"publisher","DOI":"10.1109\/EECS.2018.00080"},{"key":"S021819402550072XBIB030","doi-asserted-by":"publisher","DOI":"10.3390\/app11167714"},{"key":"S021819402550072XBIB031","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2019.098815"},{"key":"S021819402550072XBIB032","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2020.105139"},{"key":"S021819402550072XBIB033","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-142"},{"key":"S021819402550072XBIB034","doi-asserted-by":"publisher","DOI":"10.3390\/sym10050146"},{"key":"S021819402550072XBIB035","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2019.00059"},{"key":"S021819402550072XBIB036","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.03.007"},{"key":"S021819402550072XBIB037","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW60967.2024.00046"},{"key":"S021819402550072XBIB038","doi-asserted-by":"publisher","DOI":"10.1109\/ICFTIC64248.2024.10913072"},{"key":"S021819402550072XBIB039","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3279570"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819402550072X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T09:13:06Z","timestamp":1767949986000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S021819402550072X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,3]]},"references-count":39,"journal-issue":{"issue":"03","published-print":{"date-parts":[[2026,3,15]]}},"alternative-id":["10.1142\/S021819402550072X"],"URL":"https:\/\/doi.org\/10.1142\/s021819402550072x","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,3]]}}}