{"id":"https://openalex.org/W4229837450","doi":"https://doi.org/10.1109/iwast.2013.6595790","title":"Profile directed systematic testing of concurrent programs","display_name":"Profile directed systematic testing of concurrent programs","publication_year":2013,"publication_date":"2013-05-01","ids":{"openalex":"https://openalex.org/W4229837450","doi":"https://doi.org/10.1109/iwast.2013.6595790"},"language":"en","primary_location":{"id":"doi:10.1109/iwast.2013.6595790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwast.2013.6595790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th International Workshop on Automation of Software Test (AST)","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/A5100706202","display_name":"Yan Hu","orcid":"https://orcid.org/0000-0002-1145-5276"},"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":"Yan Hu","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114549734","display_name":"Jun Yan","orcid":"https://orcid.org/0000-0003-3048-9604"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Yan","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100409987","display_name":"Jian Zhang","orcid":"https://orcid.org/0000-0002-6558-791X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Zhang","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103856807","display_name":"He Jiang","orcid":"https://orcid.org/0000-0002-2376-6688"},"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":"He Jiang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"47","last_page":"52"},"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.9998000264167786,"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.9998000264167786,"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.9995999932289124,"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.9984999895095825,"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.8741867542266846},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.762489914894104},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.6565251350402832},{"id":"https://openalex.org/keywords/preemption","display_name":"Preemption","score":0.6452761888504028},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.617590069770813},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.6069064736366272},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5591612458229065},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5066466927528381},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.42013370990753174},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.39811596274375916},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.37089449167251587},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35448676347732544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34733647108078003}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8741867542266846},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.762489914894104},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.6565251350402832},{"id":"https://openalex.org/C206952183","wikidata":"https://www.wikidata.org/wiki/Q1193100","display_name":"Preemption","level":2,"score":0.6452761888504028},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.617590069770813},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.6069064736366272},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5591612458229065},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5066466927528381},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.42013370990753174},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39811596274375916},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.37089449167251587},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35448676347732544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34733647108078003},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iwast.2013.6595790","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iwast.2013.6595790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th International Workshop on Automation of Software Test (AST)","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1487101380","https://openalex.org/W1868584616","https://openalex.org/W2045238089","https://openalex.org/W2080869721","https://openalex.org/W2111413199","https://openalex.org/W2113027907","https://openalex.org/W2115732097","https://openalex.org/W2132800423","https://openalex.org/W2135948849","https://openalex.org/W2149433427","https://openalex.org/W2154698535","https://openalex.org/W2157888439","https://openalex.org/W2159856414","https://openalex.org/W2167744164","https://openalex.org/W4243297195","https://openalex.org/W6638969916"],"related_works":["https://openalex.org/W3191866865","https://openalex.org/W840708677","https://openalex.org/W2361541374","https://openalex.org/W1439300391","https://openalex.org/W1970491116","https://openalex.org/W2888133284","https://openalex.org/W601696587","https://openalex.org/W1601224578","https://openalex.org/W1565546946","https://openalex.org/W2968998509"],"abstract_inverted_index":{"Runtime":[0],"data":[1],"is":[2,62,73,95],"a":[3,22,48,76],"rich":[4],"source":[5],"of":[6,43,51,78],"feedback":[7],"information":[8],"which":[9],"can":[10],"be":[11],"used":[12,64],"to":[13,30,65],"improve":[14],"program":[15],"analysis.":[16],"In":[17],"this":[18],"paper,":[19],"we":[20],"proposed":[21],"Profile":[23],"directed":[24],"Event":[25],"driven":[26],"Dynamic":[27],"AnaLysis":[28],"(PEDAL)":[29],"effectively":[31],"detect":[32],"concurrency":[33],"bugs.":[34],"PEDAL":[35,72,94],"identifies":[36],"important":[37],"schedule":[38,52],"points":[39,53],"with":[40,102],"the":[41,67,84],"help":[42],"profiling":[44],"data,":[45],"and":[46,98],"generates":[47],"reduced":[49,59],"set":[50,61,77],"where":[54],"preemptions":[55],"could":[56],"happen.":[57],"The":[58],"preemption":[60],"then":[63],"direct":[66],"search":[68],"for":[69],"erroneous":[70],"schedules.":[71],"evaluated":[74],"on":[75],"multithreaded":[79],"benchmark":[80],"programs,":[81],"including":[82],"MySQL,":[83],"industrial":[85],"level":[86],"database":[87],"server":[88],"application.":[89],"Experimental":[90],"results":[91],"show":[92],"that":[93],"both":[96],"efficient":[97],"scalable,":[99],"as":[100],"compared":[101],"several":[103],"existing":[104],"analysis":[105],"techniques.":[106]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}