{"id":"https://openalex.org/W2959281581","doi":"https://doi.org/10.1145/3339363.3339379","title":"SYMAC","display_name":"SYMAC","publication_year":2019,"publication_date":"2019-05-24","ids":{"openalex":"https://openalex.org/W2959281581","doi":"https://doi.org/10.1145/3339363.3339379","mag":"2959281581"},"language":"en","primary_location":{"id":"doi:10.1145/3339363.3339379","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3339363.3339379","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd International Conference on Computer Science and Software Engineering","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/A5051246430","display_name":"Yong Zhou","orcid":"https://orcid.org/0000-0003-3155-3233"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yong Zhou","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian Liaoning China"],"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian Liaoning China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100425601","display_name":"Li Zhang","orcid":"https://orcid.org/0000-0002-5786-4294"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Li Zhang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian Liaoning China"],"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian Liaoning China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100358569","display_name":"Haoyu Li","orcid":"https://orcid.org/0000-0002-7102-8348"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoyu Li","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian Liaoning China"],"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian Liaoning China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5051246430"],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0952172,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"126","last_page":"131"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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.9986000061035156,"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/computer-science","display_name":"Computer science","score":0.8898710012435913},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.8134888410568237},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.6414363980293274},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.5832865834236145},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.5107288360595703},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5068488717079163},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38370782136917114},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35574212670326233},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3510361909866333},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29706552624702454},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2020617425441742},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08419173955917358}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8898710012435913},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.8134888410568237},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.6414363980293274},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5832865834236145},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.5107288360595703},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5068488717079163},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38370782136917114},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35574212670326233},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3510361909866333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29706552624702454},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2020617425441742},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08419173955917358}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3339363.3339379","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3339363.3339379","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd International Conference on Computer Science and Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1457363419","https://openalex.org/W1586497944","https://openalex.org/W1719093023","https://openalex.org/W1975191777","https://openalex.org/W2003299277","https://openalex.org/W2040935253","https://openalex.org/W2093709900","https://openalex.org/W2096449544","https://openalex.org/W2104993088","https://openalex.org/W2120713211","https://openalex.org/W2133612077","https://openalex.org/W2134875273","https://openalex.org/W2137530017","https://openalex.org/W2144344516","https://openalex.org/W2149237601","https://openalex.org/W2169870841","https://openalex.org/W2197065986","https://openalex.org/W2296019735","https://openalex.org/W2998259759","https://openalex.org/W2998601343","https://openalex.org/W3024574233","https://openalex.org/W4237492309","https://openalex.org/W4246385123"],"related_works":["https://openalex.org/W2963227324","https://openalex.org/W2519573658","https://openalex.org/W2500443918","https://openalex.org/W1781612918","https://openalex.org/W2278602989","https://openalex.org/W1904455255","https://openalex.org/W2794823999","https://openalex.org/W3134593724","https://openalex.org/W4239086365","https://openalex.org/W2085674537"],"abstract_inverted_index":{"Symbolic":[0,183,193],"execution":[1,106],"[1]":[2],"is":[3,8,24,37,54,69,84,169,206,261],"an":[4,181,196,222],"effective":[5],"technique":[6],"that":[7,63,137,168,201,257],"commonly":[9],"used":[10],"to":[11,26,58,71,99,147,209,221,232],"analyse":[12],"sequential":[13],"[2,":[14],"3]":[15],"and":[16,66,127,172,179,247,270],"concurrent":[17,177,230,273],"programs.":[18],"However,":[19],"when":[20],"baseline":[21],"symbolic":[22,140],"algorithm":[23,141,184,194],"applied":[25],"system":[27],"testing":[28],"of":[29,46,75,78,89,92,112,151,159,229,237,251],"multithreaded":[30],"programs":[31,231],"[4,":[32],"5,":[33],"6],":[34],"the":[35,40,72,76,87,90,104,110,116,139,143,149,187,191,203,214,235,244,258,268],"performance":[36,271],"limited":[38],"by":[39,56,86,212],"space":[41,51,150,239],"explosion":[42,52],"problem":[43,53],"[7,":[44],"8]":[45],"thread":[47,81,152],"interleavings.":[48,153],"Such":[49],"a":[50,133,156,249],"raised":[55],"trying":[57],"explore":[59],"all":[60,79],"impossible":[61],"interleavings":[62,82,204],"are":[64],"intra-thread":[65],"inter-thread;":[67],"this":[68,101],"due":[70],"exponentially":[73],"increment":[74],"number":[77],"possible":[80],"which":[83,205],"influenced":[85],"increase":[88],"sum":[91],"threads.":[93],"Many":[94],"techniques":[95],"have":[96,242],"been":[97],"proposed":[98],"address":[100],"problem,":[102],"including":[103],"hybrid":[105],"[9,":[107],"10,":[108],"20],":[109],"use":[111,226],"function":[113],"summaries":[114],"[11],":[115],"dependence":[117],"analysis":[118],"[12],":[119],"partial":[120],"order":[121],"reduction":[122],"[13,":[123],"14,":[124],"15,":[125],"21],":[126],"lazy":[128],"annotation":[129],"[16].":[130],"We":[131,154,189,224,241],"present":[132],"framework":[134,200],"named":[135],"SYMAC":[136],"combined":[138,190],"with":[142,195],"hierarchical":[144],"coverage":[145],"criteria":[146],"reduce":[148],"give":[155],"new":[157,259],"definition":[158],"Hierarchical":[160],"Coverage":[161],"Criteria":[162],"based":[163,185],"on":[164,186],"History-aware":[165],"Predecessor":[166],"Set":[167],"called":[170],"HaPSet":[171],"can":[173],"be":[174],"generated":[175],"from":[176],"programs,":[178],"implemented":[180,243],"improved":[182,192],"HaPSet.":[188],"assertion":[197],"guided":[198],"pruning":[199],"prunes":[202],"guaranteed":[207],"not":[208],"raise":[210],"error":[211],"summarizing":[213],"reason":[215],"why":[216],"previous":[217],"interleaving":[218],"cannot":[219],"leading":[220],"error.":[223],"also":[225],"precise":[227],"slicing":[228],"further":[233],"mitigate":[234],"influence":[236],"state":[238],"explosion.":[240],"newly":[245],"method":[246,260],"conducted":[248],"series":[250],"experiments.":[252],"Our":[253],"experiment":[254],"results":[255],"show":[256],"crucial":[262],"in":[263,272],"finding":[264],"satisfactory":[265],"trade-offs":[266],"between":[267],"cost":[269],"program":[274],"testing.":[275]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-07-23T00:00:00"}