{"id":"https://openalex.org/W2972175781","doi":"https://doi.org/10.1109/tr.2019.2911989","title":"Effective State Encoding for Breadth-First Generation of Complex Structures","display_name":"Effective State Encoding for Breadth-First Generation of Complex Structures","publication_year":2019,"publication_date":"2019-06-07","ids":{"openalex":"https://openalex.org/W2972175781","doi":"https://doi.org/10.1109/tr.2019.2911989","mag":"2972175781"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2019.2911989","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2019.2911989","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","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":"https://openalex.org/A5000414105","display_name":"Affan Rauf","orcid":"https://orcid.org/0000-0002-6505-8268"},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Affan Rauf","raw_affiliation_strings":["School of Science and Engineering, Lahore University of Management Sciences, Lahore, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-6505-8268","affiliations":[{"raw_affiliation_string":"School of Science and Engineering, Lahore University of Management Sciences, Lahore, Pakistan","institution_ids":["https://openalex.org/I207789805"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062504497","display_name":"Muhammad Nawaz","orcid":"https://orcid.org/0000-0001-8204-1313"},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Nawaz","raw_affiliation_strings":["School of Science and Engineering, Lahore University of Management Sciences, Lahore, Pakistan"],"raw_orcid":"https://orcid.org/0000-0001-8204-1313","affiliations":[{"raw_affiliation_string":"School of Science and Engineering, Lahore University of Management Sciences, Lahore, Pakistan","institution_ids":["https://openalex.org/I207789805"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038861217","display_name":"Junaid Haroon Siddiqui","orcid":"https://orcid.org/0000-0002-6674-7727"},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Junaid Haroon Siddiqui","raw_affiliation_strings":["School of Science and Engineering, Lahore University of Management Sciences, Lahore, Pakistan"],"raw_orcid":"https://orcid.org/0000-0002-6674-7727","affiliations":[{"raw_affiliation_string":"School of Science and Engineering, Lahore University of Management Sciences, Lahore, Pakistan","institution_ids":["https://openalex.org/I207789805"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000414105"],"corresponding_institution_ids":["https://openalex.org/I207789805"],"apc_list":null,"apc_paid":null,"fwci":0.3295,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64720706,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"68","issue":"3","first_page":"1154","last_page":"1167"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.7802395820617676},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.7688745260238647},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6798685789108276},{"id":"https://openalex.org/keywords/depth-first-search","display_name":"Depth-first search","score":0.5499743819236755},{"id":"https://openalex.org/keywords/breadth-first-search","display_name":"Breadth-first search","score":0.5235940217971802},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.490508496761322},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44704535603523254},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4129161834716797},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40690547227859497},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.36769700050354004},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3491226136684418},{"id":"https://openalex.org/keywords/search-algorithm","display_name":"Search algorithm","score":0.325746089220047},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10371798276901245},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10014113783836365}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7802395820617676},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.7688745260238647},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6798685789108276},{"id":"https://openalex.org/C62692426","wikidata":"https://www.wikidata.org/wiki/Q816319","display_name":"Depth-first search","level":3,"score":0.5499743819236755},{"id":"https://openalex.org/C138843760","wikidata":"https://www.wikidata.org/wiki/Q325904","display_name":"Breadth-first search","level":2,"score":0.5235940217971802},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.490508496761322},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44704535603523254},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4129161834716797},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40690547227859497},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.36769700050354004},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3491226136684418},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.325746089220047},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10371798276901245},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10014113783836365},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2019.2911989","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2019.2911989","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1515278398","https://openalex.org/W1515324070","https://openalex.org/W1519236596","https://openalex.org/W1720848645","https://openalex.org/W2001698600","https://openalex.org/W2009489720","https://openalex.org/W2035083180","https://openalex.org/W2041209185","https://openalex.org/W2050886219","https://openalex.org/W2058224907","https://openalex.org/W2060440626","https://openalex.org/W2096449544","https://openalex.org/W2124658927","https://openalex.org/W2129538349","https://openalex.org/W2132897303","https://openalex.org/W2141656264","https://openalex.org/W2142857785","https://openalex.org/W2150470619","https://openalex.org/W2155024733","https://openalex.org/W2158827699","https://openalex.org/W2161565163","https://openalex.org/W2162120832","https://openalex.org/W2163164396","https://openalex.org/W2166439419","https://openalex.org/W2170682382","https://openalex.org/W2809207316","https://openalex.org/W4237492309","https://openalex.org/W4242377092","https://openalex.org/W4242672916","https://openalex.org/W6630915408","https://openalex.org/W6679495168","https://openalex.org/W6824137238"],"related_works":["https://openalex.org/W1821961669","https://openalex.org/W3098335909","https://openalex.org/W2037710955","https://openalex.org/W2007113317","https://openalex.org/W1978615272","https://openalex.org/W2376570066","https://openalex.org/W2797291190","https://openalex.org/W1964539781","https://openalex.org/W2786956989","https://openalex.org/W2128075414"],"abstract_inverted_index":{"Generation":[0],"of":[1,65,104,137,148,173,208,245],"complex":[2,246],"heap":[3],"structures":[4,36,207],"is":[5,41,45,59,167,218,230],"required":[6],"for":[7,26,82,125,134,187,196,242],"many":[8,126],"software":[9,19,127],"testing":[10],"and":[11,43,122,235],"verification":[12],"techniques,":[13],"which":[14],"are":[15],"used":[16],"to":[17,24,47,61,79,118,183],"enhance":[18],"reliability.":[20],"It":[21,190],"enables":[22,143,192],"them":[23],"work":[25,172,186],"programs":[27],"dependent":[28],"on":[29],"such":[30],"structures.":[31,247],"Generating":[32],"all":[33],"the":[34,62,66,85,115,138,164,171,240],"valid":[35],"within":[37,54],"a":[38,55,75,94,144,160,193],"size":[39,51],"bound":[40],"time-consuming,":[42],"it":[44],"hard":[46],"predict":[48],"an":[49,70,101,131],"input":[50],"completely":[52],"generatable":[53],"time":[56],"bound.":[57],"This":[58],"due":[60],"depth-first":[63,168],"traversal":[64,73],"candidate":[67],"space.":[68,140],"However,":[69],"efficient":[71,146,232],"breadth-first":[72,135,161],"requires":[74],"compact":[76],"state":[77,96,105],"encoding":[78,97,142],"store":[80],"candidates":[81,201],"exploration":[83,136],"in":[84,211],"next":[86],"level.":[87],"In":[88],"this":[89],"paper,":[90],"we":[91],"present":[92,93,129],"novel":[95],"technique":[98,195,241],"that":[99,106,151,226,236],"stores":[100],"incomplete":[102],"representation":[103],"can":[107],"be":[108],"recovered":[109],"during":[110],"search.":[111],"We":[112],"build":[113],"upon":[114],"Korat":[116,198,234],"algorithm-demonstrated":[117],"effectively":[119],"generate":[120],"tests":[121],"find":[123],"bugs":[124],"programs-and":[128],"iKorat,":[130,176],"incremental":[132,216],"algorithm":[133,166],"search":[139,162],"Our":[141,223],"more":[145,231],"implementation":[147],"iterative":[149,156,228],"deepening":[150,157,229],"avoids":[152],"redundant":[153,185],"work.":[154],"Standard":[155],"algorithms":[158],"allow":[159],"when":[163],"underlying":[165],"by":[169,199],"repeating":[170],"earlier":[174],"iterations.":[175],"however,":[177],"uses":[178],"information":[179,217],"from":[180,220],"smaller":[181,221],"sizes":[182,210],"avoid":[184],"larger":[188,209],"sizes.":[189,222],"also":[191],"new":[194],"parallelizing":[197],"communicating":[200],"using":[202],"our":[203],"encoding.":[204],"piKorat":[205,237],"generates":[206],"parallel":[212,243],"as":[213,215],"soon":[214],"available":[219],"evaluation":[224],"shows":[225],"iKorat-based":[227],"than":[233],"naturally":[238],"extends":[239],"generation":[244]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}