{"id":"https://openalex.org/W4409495202","doi":"https://doi.org/10.1109/icstw64639.2025.10962488","title":"Novel Algorithm to Solve the Constrained Path-Based Testing Problem","display_name":"Novel Algorithm to Solve the Constrained Path-Based Testing Problem","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4409495202","doi":"https://doi.org/10.1109/icstw64639.2025.10962488"},"language":"en","primary_location":{"id":"doi:10.1109/icstw64639.2025.10962488","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw64639.2025.10962488","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-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":"https://openalex.org/A5051450214","display_name":"Matej Klima","orcid":"https://orcid.org/0000-0002-9601-8787"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Matej Klima","raw_affiliation_strings":["Czech Technical University in Prague,Czech Republic"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague,Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025223600","display_name":"Miroslav Bure\u0161","orcid":"https://orcid.org/0000-0002-2994-7826"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Miroslav Bures","raw_affiliation_strings":["Czech Technical University in Prague,Czech Republic"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague,Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107135922","display_name":"Marek Miltner","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Marek Miltner","raw_affiliation_strings":["Czech Technical University in Prague,Czech Republic"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague,Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006815983","display_name":"Chad Zanocco","orcid":"https://orcid.org/0000-0002-5015-4433"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chad Zanocco","raw_affiliation_strings":["Stanford University,California"],"affiliations":[{"raw_affiliation_string":"Stanford University,California","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079261847","display_name":"Gordon Fraser","orcid":"https://orcid.org/0000-0002-4364-6595"},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gordon Fraser","raw_affiliation_strings":["University of Passau,Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau,Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001325301","display_name":"Sebastian Schweikl","orcid":"https://orcid.org/0000-0001-8037-2653"},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Schweikl","raw_affiliation_strings":["University of Passau,Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau,Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083404897","display_name":"Patric Feldmeier","orcid":"https://orcid.org/0000-0002-9509-7671"},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Patric Feldmeier","raw_affiliation_strings":["University of Passau,Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau,Germany","institution_ids":["https://openalex.org/I186354981"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5051450214"],"corresponding_institution_ids":["https://openalex.org/I44504214"],"apc_list":null,"apc_paid":null,"fwci":4.8122,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.93127395,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"49"},"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.9943000078201294,"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.9943000078201294,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9714999794960022,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T13293","display_name":"Engineering and Test Systems","score":0.9412999749183655,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.667346715927124},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5987679958343506},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4575991928577423},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07785674929618835}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.667346715927124},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5987679958343506},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4575991928577423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07785674929618835}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icstw64639.2025.10962488","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw64639.2025.10962488","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W2092344062","https://openalex.org/W2529549081","https://openalex.org/W2795151801","https://openalex.org/W2963623343","https://openalex.org/W4285182715","https://openalex.org/W4298110250","https://openalex.org/W4402897132","https://openalex.org/W6602949666","https://openalex.org/W6663374009","https://openalex.org/W6677237291","https://openalex.org/W6734949620","https://openalex.org/W6767222251","https://openalex.org/W6767997089","https://openalex.org/W6839265569"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Constrained":[0,79,88],"Path-based":[1,80,89],"Testing":[2,81,90],"(CPT)":[3],"is":[4,156],"a":[5,66,77,114,124,301],"technique":[6],"that":[7,58,129,149,194,215,235],"extends":[8],"traditional":[9],"path-based":[10],"testing":[11],"by":[12,97,170,249,274,284],"adding":[13],"constraints":[14,57,197,218,298],"on":[15,137,151,237],"the":[16,26,40,43,63,71,87,94,98,105,110,119,135,142,162,171,175,180,183,187,189,196,201,203,210,217,225,229,243,250,259,263,268,271,279,285,290,296],"order":[17],"or":[18,61],"presence":[19],"of":[20,23,28,42,56,65,68,126,165,182,200,227,240,262,270,295],"specific":[21],"sequences":[22],"actions":[24,69],"in":[25,70,113,167,198,206,242],"tests":[27],"System":[29],"Under":[30],"Test":[31],"(SUT)":[32],"processes.":[33],"Through":[34],"such":[35],"an":[36],"extension,":[37],"CPT":[38,111],"enhances":[39],"ability":[41],"model":[44],"to":[45,85,299],"capture":[46],"more":[47],"real-life":[48],"situations.":[49],"In":[50],"CPT,":[51],"we":[52,277],"define":[53],"four":[54],"types":[55],"either":[59],"enforce":[60],"prohibit":[62],"use":[64],"pair":[67],"resulting":[72],"test":[73,127,146,233],"set.":[74],"We":[75,92,133],"propose":[76],"novel":[78],"Composition":[82],"(CPC)":[83],"algorithm":[84,100,144,173,191,205,212,231,287],"solve":[86],"Problem.":[91],"compare":[93],"results":[95,261],"returned":[96,169,213,232,248],"CPC":[99,143,190,230,286],"with":[101,141,186],"two":[102],"alternatives,":[103],"(1)":[104],"Filter":[106,172,204,251],"algorithm,":[107,121,177,252],"which":[108,122,155],"solves":[109],"problem":[112,139],"greedy":[115],"manner,":[116],"and":[117,158,174,209,267],"(2)":[118],"Edge":[120,176,211],"generates":[123],"set":[125],"cases":[128],"satisfy":[130],"edge":[131,264,281],"coverage.":[132],"evaluated":[134],"algorithms":[136],"200":[138],"instances,":[140],"returning":[145],"sets":[147,234],"(T)":[148],"have,":[150],"average,":[152,238],"350":[153],"edges,":[154,228],"2.4%":[157],"11.1%":[159],"shorter":[160],"than":[161],"average":[163,260],"number":[164],"edges":[166,241],"T":[168,185,193,214,247],"respectively.":[178],"Regarding":[179,224],"compliance":[181],"generated":[184],"constraints,":[188],"produced":[192],"satisfied":[195,216],"95%":[199,293],"cases,":[202,208],"45%":[207],"only":[219],"for":[220,246],"6%":[221],"SUT":[222],"instances.":[223],"coverage":[226,265,282],"contained,":[236],"91.5%":[239],"graphs,":[244],"while":[245],"it":[253],"was":[254],"90.8%":[255],"edges.":[256],"When":[257],"comparing":[258],"criterion":[266,273],"fulfillment":[269,294],"constraint":[272],"individual":[275],"algorithms,":[276],"consider":[278],"incomplete":[280],"achieved":[283],"and,":[288],"at":[289],"same":[291],"time,":[292],"graph":[297],"be":[300],"reasonable":[302],"compromise.":[303]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}