{"id":"https://openalex.org/W2593085553","doi":"https://doi.org/10.1587/transinf.2016edp7388","title":"SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code","display_name":"SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2593085553","doi":"https://doi.org/10.1587/transinf.2016edp7388","mag":"2593085553"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2016edp7388","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2016edp7388","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E100.D/3/E100.D_2016EDP7388/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E100.D/3/E100.D_2016EDP7388/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100597041","display_name":"Ziyi Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ziyi LIN","raw_affiliation_strings":["School of Software, Shanghai Jiao Tong University"],"affiliations":[{"raw_affiliation_string":"School of Software, Shanghai Jiao Tong University","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109662956","display_name":"Yilei Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yilei ZHOU","raw_affiliation_strings":["School of Software, Shanghai Jiao Tong University"],"affiliations":[{"raw_affiliation_string":"School of Software, Shanghai Jiao Tong University","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002503342","display_name":"Hao Zhong","orcid":"https://orcid.org/0000-0002-4302-9183"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao ZHONG","raw_affiliation_strings":["Department of Computer Science and Engineering, Shanghai Jiao Tong University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100436579","display_name":"Yuting Chen","orcid":"https://orcid.org/0009-0000-9300-4606"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuting CHEN","raw_affiliation_strings":["Department of Computer Science and Engineering, Shanghai Jiao Tong University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100726534","display_name":"Haibo Yu","orcid":"https://orcid.org/0000-0002-9631-923X"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haibo YU","raw_affiliation_strings":["School of Software, Shanghai Jiao Tong University"],"affiliations":[{"raw_affiliation_string":"School of Software, Shanghai Jiao Tong University","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065190767","display_name":"Jianjun Zhao","orcid":"https://orcid.org/0000-0001-8083-4352"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jianjun ZHAO","raw_affiliation_strings":["Faculty of Information Science and Electrical Engineering, Kyushu University"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Science and Electrical Engineering, Kyushu University","institution_ids":["https://openalex.org/I135598925"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100597041"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.3524,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61830846,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"E100.D","issue":"3","first_page":"473","last_page":"482"},"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.9998999834060669,"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.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980999827384949,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9217061996459961},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8759863376617432},{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.8222526907920837},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8022373914718628},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.7295880913734436},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6580394506454468},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4652346968650818},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3326202929019928},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2821832299232483}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9217061996459961},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8759863376617432},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.8222526907920837},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8022373914718628},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.7295880913734436},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6580394506454468},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4652346968650818},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3326202929019928},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2821832299232483}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transinf.2016edp7388","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2016edp7388","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E100.D/3/E100.D_2016EDP7388/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transinf.2016edp7388","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2016edp7388","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E100.D/3/E100.D_2016EDP7388/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1023919524","display_name":null,"funder_award_id":", Grant","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G111070127","display_name":null,"funder_award_id":"Grant-in-Aid for Research Activity Start-up","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1828425977","display_name":null,"funder_award_id":"973 Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1857627639","display_name":"\u653f\u6cbb\u610f\u8b58\u306e\u5f62\u6210\u3068\u5909\u5316","funder_award_id":"10030","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2052583792","display_name":null,"funder_award_id":"Research Activity","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2889005402","display_name":"\u53f2\u8a18\u306e\u5217\u4f1d\u8af8\u7bc7\u306e\u5f62\u6210\u306b\u3064\u3044\u3066\u306e\u7814\u7a76-\u7279\u306b\u601d\u60f3\u53f2\u7684\u89d2\u5ea6\u3088\u308a\u3059\u308b-","funder_award_id":"11003","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3236194794","display_name":null,"funder_award_id":"Grant-in-Aid","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3358320134","display_name":null,"funder_award_id":"2015CB352203","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3459562248","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3705189449","display_name":null,"funder_award_id":"Grant-in-Aid for Research Activity","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4741661179","display_name":"\u9ad8\u8840\u5727\u75c7\u4e26\u3073\u306b\u4f4e\u8840\u5727\u75c7\u306b\u304a\u3051\u308b\u4ea4\u611f\u795e\u7d4c\u6d3b\u52d5\u306b\u95a2\u3059\u308b\u7814\u7a76","funder_award_id":"157231","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4874944895","display_name":null,"funder_award_id":"-in-Aid","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5167091242","display_name":null,"funder_award_id":"No. 1","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6058138561","display_name":null,"funder_award_id":", No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6728940276","display_name":null,"funder_award_id":"61572312","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7440107450","display_name":null,"funder_award_id":"15DZ1100305","funder_id":"https://openalex.org/F4320321885","funder_display_name":"Science and Technology Commission of Shanghai Municipality"},{"id":"https://openalex.org/G7752643416","display_name":null,"funder_award_id":"Japan","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G848831050","display_name":"\u30dd\u30fc\u30bf\u30d6\u30eb\u30b7\u30f3\u30c1\u30ec\u30fc\u30b7\u30e7\u30f3\u30b9\u30ad\u30e3\u30ca\u30fc","funder_award_id":"72313","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8863666567","display_name":null,"funder_award_id":"and No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8891423054","display_name":"Dependence Analysis of Reactive Programs and Its Applications","funder_award_id":"16H07031","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G901647480","display_name":"\u65b0\u3057\u3044\u71b1\u5f0f\u6d41\u91cf\u8a08\u306e\u7814\u7a76","funder_award_id":"72102","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G96314128","display_name":null,"funder_award_id":"61572313","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"},{"id":"https://openalex.org/F4320321885","display_name":"Science and Technology Commission of Shanghai Municipality","ror":"https://ror.org/03kt66j61"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2593085553.pdf","grobid_xml":"https://content.openalex.org/works/W2593085553.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W2035650034","https://openalex.org/W2047068447","https://openalex.org/W2080869721","https://openalex.org/W2085906238","https://openalex.org/W2090306244","https://openalex.org/W2097576663","https://openalex.org/W2102740706","https://openalex.org/W2103552788","https://openalex.org/W2117357208","https://openalex.org/W2135519965","https://openalex.org/W2146540946","https://openalex.org/W2149433427","https://openalex.org/W2169958633","https://openalex.org/W2246524736","https://openalex.org/W2294504770","https://openalex.org/W4234356145"],"related_works":["https://openalex.org/W2800641345","https://openalex.org/W2886673879","https://openalex.org/W564953056","https://openalex.org/W2061184006","https://openalex.org/W2381239448","https://openalex.org/W4236910510","https://openalex.org/W2092932442","https://openalex.org/W2543963479","https://openalex.org/W1751798423","https://openalex.org/W2583000271"],"abstract_inverted_index":{"When":[0],"debugging":[1,65,121],"bugs,":[2],"programmers":[3],"often":[4],"prepare":[5],"test":[6,16,96],"cases":[7,17],"to":[8,22,27,40,49,107],"reproduce":[9,23,41,108],"buggy":[10,24,42],"behaviours.":[11],"However,":[12],"for":[13,44],"concurrent":[14],"programs,":[15],"alone":[18],"are":[19,56],"typically":[20],"insufficient":[21],"behaviours,":[25],"due":[26],"the":[28,50,78,109,124],"nondeterminism":[29],"of":[30,52,77],"multi-threaded":[31],"executions.":[32],"In":[33,59,80],"literature,":[34],"various":[35],"approaches":[36,72],"have":[37,62],"been":[38],"proposed":[39],"behaviours":[43],"concurrency":[45],"bugs":[46],"deterministically,":[47],"but":[48,70],"best":[51],"our":[53],"knowledge,":[54],"they":[55],"still":[57],"limited.":[58],"particular,":[60],"we":[61,83],"recognized":[63],"three":[64],"scenarios":[66,122],"from":[67],"programming":[68],"practice,":[69],"existing":[71],"can":[73],"handle":[74],"only":[75],"one":[76],"scenarios.":[79],"this":[81],"paper,":[82],"propose":[84],"a":[85],"novel":[86],"approach,":[87],"called":[88,127],"SPDebugger,":[89],"that":[90,117],"provides":[91],"finer-grained":[92],"thread":[93,111],"controlling":[94],"over":[95],"cases,":[97],"programs":[98],"under":[99],"test,":[100],"and":[101],"even":[102],"third":[103],"party":[104],"library":[105],"code,":[106],"predesigned":[110],"execution":[112],"schedule.":[113],"The":[114],"evaluation":[115],"shows":[116],"SPDebugger":[118],"handles":[119],"more":[120],"than":[123],"state-of-the-art":[125],"tool,":[126],"IMUnit,":[128],"with":[129],"similar":[130],"human":[131],"effort.":[132]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}