{"id":"https://openalex.org/W4414932839","doi":"https://doi.org/10.1142/s021819402550072x","title":"Combinatorial Test Sequence Generation Method Integrated with STPA","display_name":"Combinatorial Test Sequence Generation Method Integrated with STPA","publication_year":2025,"publication_date":"2025-10-08","ids":{"openalex":"https://openalex.org/W4414932839","doi":"https://doi.org/10.1142/s021819402550072x"},"language":"en","primary_location":{"id":"doi:10.1142/s021819402550072x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021819402550072x","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Heng Xu","orcid":"https://orcid.org/0009-0003-3235-3281"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Heng Xu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0009-0003-3235-3281","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025184050","display_name":"Zhiqiu Huang","orcid":"https://orcid.org/0000-0001-6843-1892"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqiu Huang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0001-6843-1892","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002015838","display_name":"Chuanqi Tao","orcid":"https://orcid.org/0000-0002-0698-7307"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuanqi Tao","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0002-0698-7307","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jian Xie","orcid":"https://orcid.org/0000-0002-3215-4691"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Xie","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0002-3215-4691","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":null,"display_name":"Jun Hu","orcid":"https://orcid.org/0009-0005-2374-3960"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Hu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0009-0005-2374-3960","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26209048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"03","first_page":"403","last_page":"429"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14025","display_name":"Educational Technology and Assessment","score":0.9537000060081482,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.6118999719619751},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5508999824523926},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5121999979019165},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.506600022315979},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4189000129699707},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.4077000021934509},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4043000042438507},{"id":"https://openalex.org/keywords/hazard","display_name":"Hazard","score":0.3741999864578247},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.36809998750686646}],"concepts":[{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.6118999719619751},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5724999904632568},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5508999824523926},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5121999979019165},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.506600022315979},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4823000133037567},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4189000129699707},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.4077000021934509},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.3741999864578247},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.36809998750686646},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.36039999127388},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35600000619888306},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.3142000138759613},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3140000104904175},{"id":"https://openalex.org/C206355099","wikidata":"https://www.wikidata.org/wiki/Q3614972","display_name":"Hazard analysis","level":2,"score":0.3034000098705292},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.29899999499320984},{"id":"https://openalex.org/C66283442","wikidata":"https://www.wikidata.org/wiki/Q1389268","display_name":"Failure mode and effects analysis","level":2,"score":0.29510000348091125},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2874999940395355},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2847999930381775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.275299996137619},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.2694999873638153},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.25870001316070557},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2563999891281128},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s021819402550072x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021819402550072x","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5473515455","display_name":null,"funder_award_id":"U2241216","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1122166571","https://openalex.org/W1977338805","https://openalex.org/W1991113092","https://openalex.org/W1998986110","https://openalex.org/W2000478763","https://openalex.org/W2021509247","https://openalex.org/W2075699551","https://openalex.org/W2091822927","https://openalex.org/W2139690594","https://openalex.org/W2140062424","https://openalex.org/W2261112062","https://openalex.org/W2735780801","https://openalex.org/W2791720472","https://openalex.org/W2793779211","https://openalex.org/W2801230357","https://openalex.org/W2898691066","https://openalex.org/W2924885123","https://openalex.org/W2953344284","https://openalex.org/W2963429155","https://openalex.org/W2977990609","https://openalex.org/W2990244368","https://openalex.org/W3047558594","https://openalex.org/W3121050441","https://openalex.org/W3196223814","https://openalex.org/W4283734473","https://openalex.org/W4286303819","https://openalex.org/W4376621789","https://openalex.org/W4378070389","https://openalex.org/W4379619637","https://openalex.org/W4385478452","https://openalex.org/W4390204171","https://openalex.org/W4402571789","https://openalex.org/W4408401941","https://openalex.org/W4412375105"],"related_works":[],"abstract_inverted_index":{"The":[0],"integration":[1],"of":[2,75],"combinatorial":[3,77],"testing":[4],"(CT)":[5],"with":[6,141],"safety":[7,34,144],"requirement":[8],"analysis":[9,63],"remains":[10],"challenging":[11],"for":[12],"complex":[13],"software":[14],"systems,":[15],"particularly":[16],"when":[17],"evolving":[18,143],"requirements":[19],"necessitate":[20],"dynamic":[21],"updates":[22],"to":[23,31,41,102],"test":[24,42,105,119],"constraints.":[25],"Traditional":[26],"CT":[27,67],"methods":[28],"often":[29],"fail":[30],"systematically":[32],"incorporate":[33],"constraints":[35,98],"derived":[36],"from":[37],"early-phase":[38],"requirements,":[39],"leading":[40],"suites":[43],"that":[44,59,111],"become":[45],"obsolete":[46],"as":[47,91],"system":[48,131],"specifications":[49],"change.":[50],"In":[51],"this":[52],"paper,":[53],"we":[54],"propose":[55],"a":[56],"novel":[57],"method":[58,113],"embeds":[60],"system-theoretic":[61],"process":[62],"(STPA)":[64],"into":[65,99],"the":[66,70,96],"workflow,":[68],"enabling":[69],"automatic":[71],"derivation":[72],"and":[73,87,132],"maintenance":[74],"safety-aware":[76],"test.":[78],"Our":[79],"approach":[80],"First":[81],"formalizes":[82],"STPA-identified":[83],"unsafe":[84],"control":[85],"actions":[86],"hazard":[88],"mitigation":[89],"rules":[90],"refined":[92,97],"constraints,":[93],"then":[94],"integrated":[95],"constraint":[100],"model":[101],"guide":[103],"incremental":[104],"sequence":[106],"generation.":[107],"Experimental":[108],"results":[109],"demonstrate":[110],"our":[112],"achieves":[114],"an":[115],"effective":[116],"improvement":[117],"in":[118],"generation":[120],"efficiency":[121],"across":[122],"three":[123],"representative":[124],"case":[125],"studies":[126],"(robotic":[127],"control,":[128],"secure":[129],"vault":[130],"civil":[133],"aircraft":[134],"flight":[135],"mode":[136],"transitions),":[137],"while":[138],"maintaining":[139],"compliance":[140],"dynamically":[142],"requirements.":[145]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}