{"id":"https://openalex.org/W2917923692","doi":"https://doi.org/10.1109/access.2019.2901588","title":"Efficient Test Case Generation for Thread-Safe Classes","display_name":"Efficient Test Case Generation for Thread-Safe Classes","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2917923692","doi":"https://doi.org/10.1109/access.2019.2901588","mag":"2917923692"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2901588","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2901588","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08651494.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08651494.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013537395","display_name":"Lili Bo","orcid":"https://orcid.org/0000-0002-7267-4923"},"institutions":[{"id":"https://openalex.org/I25757504","display_name":"China University of Mining and Technology","ror":"https://ror.org/01xt2dr21","country_code":"CN","type":"education","lineage":["https://openalex.org/I25757504"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lili Bo","raw_affiliation_strings":["School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-7267-4923","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, China","institution_ids":["https://openalex.org/I25757504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002351235","display_name":"Shujuan Jiang","orcid":"https://orcid.org/0000-0003-0643-0565"},"institutions":[{"id":"https://openalex.org/I25757504","display_name":"China University of Mining and Technology","ror":"https://ror.org/01xt2dr21","country_code":"CN","type":"education","lineage":["https://openalex.org/I25757504"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shujuan Jiang","raw_affiliation_strings":["School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-0643-0565","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, China","institution_ids":["https://openalex.org/I25757504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039734214","display_name":"Junyan Qian","orcid":"https://orcid.org/0000-0002-1325-6975"},"institutions":[{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junyan Qian","raw_affiliation_strings":["Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China","institution_ids":["https://openalex.org/I5343935"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062482669","display_name":"Rongcun Wang","orcid":"https://orcid.org/0000-0002-9685-9893"},"institutions":[{"id":"https://openalex.org/I25757504","display_name":"China University of Mining and Technology","ror":"https://ror.org/01xt2dr21","country_code":"CN","type":"education","lineage":["https://openalex.org/I25757504"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongcun Wang","raw_affiliation_strings":["School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, China","institution_ids":["https://openalex.org/I25757504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019841065","display_name":"Xingya Wang","orcid":"https://orcid.org/0000-0002-7331-4831"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingya Wang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.3157,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.59951078,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"7","issue":null,"first_page":"26984","last_page":"26995"},"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.9990000128746033,"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.9980000257492065,"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/concurrency","display_name":"Concurrency","score":0.8523789644241333},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.8430973291397095},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8378400802612305},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7870995998382568},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42614901065826416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41330277919769287},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3814551532268524},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36527958512306213},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.07784715294837952}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8523789644241333},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.8430973291397095},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8378400802612305},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7870995998382568},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42614901065826416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41330277919769287},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3814551532268524},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36527958512306213},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.07784715294837952},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2901588","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2901588","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08651494.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:4b30af4087864ac8becc16e182381ace","is_oa":true,"landing_page_url":"https://doaj.org/article/4b30af4087864ac8becc16e182381ace","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 26984-26995 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2901588","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2901588","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08651494.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"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 Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1394669868","display_name":null,"funder_award_id":"BK20181353","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G1486466725","display_name":null,"funder_award_id":"ZZKT2018B02","funder_id":"https://openalex.org/F4320326895","funder_display_name":"State Key Laboratory of Novel Software Technology"},{"id":"https://openalex.org/G1837861698","display_name":null,"funder_award_id":"2018K028C","funder_id":"https://openalex.org/F4320335471","funder_display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds"},{"id":"https://openalex.org/G4444408674","display_name":null,"funder_award_id":"2015M581887","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G4764789804","display_name":null,"funder_award_id":"61562015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4940653323","display_name":null,"funder_award_id":"BK20181353","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5133060907","display_name":null,"funder_award_id":"61673384","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7471025572","display_name":null,"funder_award_id":"2015M581887","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"},{"id":"https://openalex.org/F4320321605","display_name":"Government of Jiangsu Province","ror":"https://ror.org/004svx814"},{"id":"https://openalex.org/F4320322769","display_name":"Natural Science Foundation of Jiangsu Province","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326895","display_name":"State Key Laboratory of Novel Software Technology","ror":null},{"id":"https://openalex.org/F4320335471","display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2917923692.pdf","grobid_xml":"https://content.openalex.org/works/W2917923692.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W1571371050","https://openalex.org/W1868584616","https://openalex.org/W1977338805","https://openalex.org/W1985315553","https://openalex.org/W2005335403","https://openalex.org/W2010962701","https://openalex.org/W2051393771","https://openalex.org/W2078392024","https://openalex.org/W2098639318","https://openalex.org/W2101161997","https://openalex.org/W2107709519","https://openalex.org/W2111329222","https://openalex.org/W2111413199","https://openalex.org/W2112274482","https://openalex.org/W2119272513","https://openalex.org/W2119898212","https://openalex.org/W2120027538","https://openalex.org/W2121702020","https://openalex.org/W2135395375","https://openalex.org/W2149074552","https://openalex.org/W2170998491","https://openalex.org/W2357666213","https://openalex.org/W2392611319","https://openalex.org/W2520695682","https://openalex.org/W2531260568","https://openalex.org/W2619153025","https://openalex.org/W2740268627","https://openalex.org/W2795566764","https://openalex.org/W2811165696","https://openalex.org/W2888080919","https://openalex.org/W2889217990","https://openalex.org/W3147482974","https://openalex.org/W3149170054","https://openalex.org/W4212981129","https://openalex.org/W4237737995","https://openalex.org/W4253571630","https://openalex.org/W6633936133","https://openalex.org/W6679785457"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2023832055","https://openalex.org/W2082485924"],"abstract_inverted_index":{"Generating":[0],"test":[1,19,59,125],"cases":[2,60],"automatically":[3],"for":[4,61],"thread-safe":[5,62,151],"classes":[6],"is":[7,88,140,148],"an":[8,41],"effective":[9],"approach":[10,45,163],"to":[11,57,90,142],"validating":[12],"their":[13],"correctness.":[14],"However,":[15],"the":[16,48,52,75,82,92,102,113,130,158],"existing":[17],"concurrent":[18,124,134],"generation":[20,122,132],"techniques":[21,56],"usually":[22],"consume":[23],"a":[24,79,106,117,166],"large":[25],"amount":[26],"of":[27,50,81,85,123,129,133],"time":[28],"and":[29,43,54,109,136],"efforts":[30],"before":[31],"finding":[32,174],"concurrency":[33,137,144],"bugs.":[34,145],"To":[35],"alleviate":[36],"this":[37],"problem,":[38],"we":[39],"present":[40],"automatic":[42],"efficient":[44],"which":[46,127],"combines":[47],"advantages":[49],"both":[51],"bug-driven":[53,83],"coverage-guided":[55,131],"generate":[58],"classes.":[63,152],"First,":[64],"method":[65,86,94,103,114],"pairs":[66,87,95,104,115],"that":[67,161],"cannot":[68],"be":[69],"executed":[70],"concurrently":[71],"are":[72],"removed":[73],"by":[74],"static":[76],"analysis.":[77],"Then,":[78],"strategy":[80],"grouping":[84],"designed":[89],"divide":[91],"remaining":[93],"into":[96],"two":[97],"groups.":[98],"One":[99],"group":[100,111],"contains":[101,112],"with":[105,116,154],"high":[107],"priority,":[108],"another":[110],"low":[118],"priority.":[119],"Finally,":[120],"iterative":[121],"cases,":[126],"consists":[128],"tests":[135],"bug":[138,173],"detection,":[139],"conducted":[141],"find":[143],"Our":[146],"evaluation":[147],"on":[149],"20":[150],"Compared":[153],"four":[155],"state-of-the-art":[156],"approaches,":[157],"results":[159],"show":[160],"our":[162],"can":[164],"obtain":[165],"significant":[167],"improvement":[168],"in":[169],"efficiency":[170],"without":[171],"impairing":[172],"capacities.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}