{"id":"https://openalex.org/W4247532507","doi":"https://doi.org/10.1109/date.2004.1268848","title":"Efficient static compaction of test sequence sets through the application of set covering techniques","display_name":"Efficient static compaction of test sequence sets through the application of set covering techniques","publication_year":2004,"publication_date":"2004-06-21","ids":{"openalex":"https://openalex.org/W4247532507","doi":"https://doi.org/10.1109/date.2004.1268848"},"language":"en","primary_location":{"id":"doi:10.1109/date.2004.1268848","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2004.1268848","pdf_url":null,"source":{"id":"https://openalex.org/S4363608792","display_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","raw_type":"proceedings-article"},"type":"conference-paper","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/A5060678776","display_name":"Michael G. Dimopoulos","orcid":null},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"M. Dimopoulos","raw_affiliation_strings":["Aristotle University of Thessaloniki, Thessaloniki, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aristotle University of Thessaloniki, Thessaloniki, Greece","institution_ids":["https://openalex.org/I21370196"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051477660","display_name":"P. Linardis","orcid":null},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"P. Linardis","raw_affiliation_strings":["Aristotle University of Thessaloniki, Thessaloniki, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aristotle University of Thessaloniki, Thessaloniki, Greece","institution_ids":["https://openalex.org/I21370196"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I21370196"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"194","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9994999766349792,"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/T10571","display_name":"Robotic Mechanisms and Dynamics","score":0.9854999780654907,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9853000044822693,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/maxima-and-minima","display_name":"Maxima and minima","score":0.7314444780349731},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6770493984222412},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6657835245132446},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5899119973182678},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5708795189857483},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.5549408793449402},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5472043752670288},{"id":"https://openalex.org/keywords/compaction","display_name":"Compaction","score":0.5180773735046387},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4722772538661957},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41985562443733215},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10240724682807922}],"concepts":[{"id":"https://openalex.org/C186633575","wikidata":"https://www.wikidata.org/wiki/Q845060","display_name":"Maxima and minima","level":2,"score":0.7314444780349731},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6770493984222412},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6657835245132446},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5899119973182678},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5708795189857483},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.5549408793449402},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5472043752670288},{"id":"https://openalex.org/C196715460","wikidata":"https://www.wikidata.org/wiki/Q1414356","display_name":"Compaction","level":2,"score":0.5180773735046387},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4722772538661957},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41985562443733215},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10240724682807922},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C187320778","wikidata":"https://www.wikidata.org/wiki/Q1349130","display_name":"Geotechnical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2004.1268848","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2004.1268848","pdf_url":null,"source":{"id":"https://openalex.org/S4363608792","display_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","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":26,"referenced_works":["https://openalex.org/W159218095","https://openalex.org/W193103005","https://openalex.org/W1554885925","https://openalex.org/W1886859778","https://openalex.org/W1972479656","https://openalex.org/W2002339134","https://openalex.org/W2018094844","https://openalex.org/W2082448265","https://openalex.org/W2089597459","https://openalex.org/W2105761964","https://openalex.org/W2123101243","https://openalex.org/W2124618076","https://openalex.org/W2131619091","https://openalex.org/W2132849610","https://openalex.org/W2137246866","https://openalex.org/W2147556474","https://openalex.org/W2152406824","https://openalex.org/W2161706161","https://openalex.org/W2520093650","https://openalex.org/W4230587734","https://openalex.org/W4231510479","https://openalex.org/W4243200393","https://openalex.org/W6606670448","https://openalex.org/W6607875731","https://openalex.org/W6630285112","https://openalex.org/W6676111922"],"related_works":["https://openalex.org/W1997438906","https://openalex.org/W2337437631","https://openalex.org/W2358848474","https://openalex.org/W2362168906","https://openalex.org/W2367785415","https://openalex.org/W2363747345","https://openalex.org/W2337746918","https://openalex.org/W2476683972","https://openalex.org/W2327848321","https://openalex.org/W2058217402"],"abstract_inverted_index":{"The":[0],"test":[1,43,94],"sequence":[2],"compaction":[3],"problem":[4,79,102],"is":[5,39,80],"modelled":[6,46],"here,":[7],"as":[8,47],"a":[9,34,83,90],"set":[10,20],"covering":[11,21],"problem.":[12],"This":[13],"formulation":[14,38],"enables":[15],"the":[16,27,31,42,62,69,72,77,100,106,118,123,127,132,136,139],"straightforward":[17],"application":[18],"of":[19,26,54,71,93,126,138],"methods":[22],"for":[23],"compaction.":[24],"Because":[25],"complexity":[28],"inherent":[29],"in":[30],"first":[32],"model,":[33],"second":[35],"more":[36],"efficient,":[37],"proposed":[40,140],"where":[41],"sequences":[44],"are":[45,74],"matrix":[48,57],"columns":[49],"with":[50,82,115,122,131],"variable":[51],"costs":[52],"(number":[53],"vectors).":[55],"Further,":[56],"reduction":[58,108],"rules":[59],"appropriate":[60],"to":[61,99],"new":[63],"formulation,":[64],"which":[65],"do":[66],"not":[67],"affect":[68],"optimality":[70],"solution,":[73],"introduced.":[75],"Finally,":[76],"reduced":[78],"minimized":[81],"branch":[84],"&":[85],"bound":[86],"algorithm.":[87],"Experiments":[88],"on":[89],"large":[91],"number":[92],"sets":[95],"show":[96],"significant":[97],"reductions":[98],"original":[101],"by":[103],"simply":[104],"using":[105],"presented":[107],"rules.":[109],"Experimental":[110],"results":[111],"comparing":[112],"our":[113],"method":[114],"others":[116],"form":[117],"literature":[119],"and":[120],"also":[121],"absolute":[124],"minima":[125],"examples,":[128],"computed":[129],"separately":[130],"MINCOV":[133],"algorithm,":[134],"support":[135],"potential":[137],"approach.":[141]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}