{“id”:“https://openalex.org/W2990769324“,”doi“:”https://doi.org/10.1002/stvr.1719“,”title“:”通过进化符号执行促进程序性能分析“,”display_name“:”利用进化符号执行推动程序性能分析”,“publication_year”:2019,“publitation_date”:“2019-11-21”,“ids”:{“openalex”:“https://openalex.org/W2990769324“,”doi“:”https://doi.org/10.1002/stvr.1719“,”mag“:”2990769324“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1002/stvr.1719“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S83624231“,”display_name“:”软件测试验证和可靠性“,”issn_l“:”0960-0833“,”isn“:[”0960-0.833“、”1099-1689“],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310320595“,”“host_organization_name”:“威利”,“host_organization_lineage”:[“https://openalex.org/P4310320595“],”host_organization_lineage_names“:[”Wiley“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],‘open_access”:{“is_oa”:false,“oa_status”:“closed”,“oa_url”:nully,“any_repository”_has_fulltext“:false},”作者“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5009396473“,”display_name“:”Andrea Aquino“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I57201433“,”display_name“:”Universit\u00e0 della Svizzera italiana“,”ror“:”https://ror.org/03c4atk17“,”country_code“:”CH“,”type“:“教育”,”世系“:[”https://openalex.org/I57201433“]}],”国家“:[”CH“],”is_corresponding“:false,”raw_author_name“:”Andrea Aquino“,”raw _affiliation_strings“:[“USI University \u00e0 della Svizzera italiana Switzerland”],”affiliations“:[{”raw _affiliation_string“:”USI Universit\u00e 0 della斯维泽拉italiana瑞士“,”institution_ids“:]”https://openalex.org/I57201433“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5077180647“,”display_name“:”Pietro Braione“,”orcid“:”https://orcid.org/0000-0001-9307-6781},“机构”:[{“id”:https://openalex.org/I66752286“,”display_name“:”米兰比卡大学“,”ror“:”https://ror.org/01ynf4891“,”country_code“:”IT“,”type“:“教育”,”世系“:[”https://openalex.org/I66752286“]}],”国家“:[”IT“],”is_corresponding“:false,”raw_author_name“:”Pietro Braione“,”raw _ afiliation_strings“:[“意大利米兰-比科卡大学”],”affiliations“:[{”raw _affiliation_strong“:”意大利米兰-比科卡大学“,”institution_ids“:[https://openalex.org/I66752286“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5038269238“,”display_name“:”Giovanni Denaro“,”orcid“:”https://orcid.org/0000-0002-7566-8051},“机构”:[{“id”:https://openalex.org/I66752286“,”display_name“:”米兰比卡大学“,”ror“:”https://ror.org/01ynf4891“,”country_code“:”IT“,”type“:“教育”,”世系“:[”https://openalex.org/I66752286“]}],”国家“:[”IT“],”is_corresponding“:true,”raw_author_name“:”Giovanni Denaro“,”raw _ afiliation_strings“:[“意大利米兰-比科卡大学”],”affiliations“:[{”raw _affiliation_strong“:”意大利米兰-比科卡大学“,”institution_ids“:[https://openalex.org/I66752286“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5035648889“,”display_name“:”Pasquale Salza“,”orcid“:”https://orcid.org/0000-0002-8687-052X},“机构”:[{“id”:https://openalex.org/I202697423“,”display_name“:”苏黎世大学“,”ror“:”https://ror.org/02crff812“,”country_code“:”CH“,”type“:“教育”,”世系“:[”https://openalex.org/I202697423“]}],”国家“:[”CH“],”is_corresponding“:true,”raw_author_name“:”Pasquale Salza“,”raw _affiliation_strings“:[“瑞士苏黎世大学”],”affiliations“:[{”raw _affiliation_string“:”瑞士苏黎士大学“,”institution_ids“:[https://openalex.org/I202697423“]}]}],”countries_disticont_count“:2,”institutions_disticent_count”:3,”corresponding_author_ids“:[”https://openalex.org/A5038269238","https://openalex.org/A5035648889“],”对应的机构ID“:[”https://openalex.org/I66752286","https://openalex.org/I202697423“],”apc_list“:{”value“:3760,”currency“:”USD“,”value_USD“:37六十,”provenance“:”doaj“},”apc _payd“:null,”fwci“:0.0,”has_fulltext“:false,”cited_by_count“:0,”citation_normalized_percentile“:{”value:0.0“,”is_in_top_1_percent“:false,”is_ in_top_10_percennt“:faLS},“cited_by_percentile_year”:{“min”:0,“max“:63},”biblio“:{”volume“:”30“,”issue“:”2“,”first_page“:null,”last_page“:null},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T10743“,”“display_name”:“自动化软件测试技术”,“score”:0.9999,“subfield”:{“id”:“https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10743“,”“display_name”:“自动化软件测试技术”,“score”:0.9999,“subfield”:{“id”:“https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10260“,”“display_name”:“软件工程实证研究”,“score”:0.9974,“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“:”物理科学“}},{”id“:”https://openalex.org/T12127“,”“display_name”:“日志分析和系统性能诊断”,“score”:0.9971,“subfield”:{“id”:“https://openalex.org/subfields/1705“,”display_name“:”计算机网络和通信“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/traverse“,”display_name“:”遍历“,”分数“:0.664677},{”id“:”https://openalex.org/keywords/profiling“,”display_name“:”分析(计算机编程)“,”score“:0.58640534},{”id“:”https://openalex.org/keywords/symbolic-execution网站“,”display_name“:”符号执行“,”score“:0.564435},{”id“:”https://openalex.org/keywords/性能预测“,”display_name“:”性能预测“,”score“:0.553932},{”id“:”https://openalex.org/keywords/model-driven-性能预测“,”display_name“:”模型驱动的性能预测“,”score“:0.550964},{”id“:”https://openalex.org/keywords/search-based-testing网站“,”display_name“:”基于搜索的测试“,”score“:0.545027},{”id“:”https://openalex.org/keywords/automated-testing网站“,”display_name“:”自动测试“,”score“:0.54266},{”id“:”https://openalex.org/keywords/concolic-testing网站“,”display_name“:”Concolic testing“,”score“:0.53719383},{”id“:”https://openalex.org/keywords/memetic-algorithm网站“,”display_name“:”Memetic algorithm“,”score“:0.50459997}],”concepts“:[{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.83764166},{”id“:”https://openalex.org/C2779639559,“wikidata”:https://www.wikidata.org/wiki/Q7661178“,”display_name“:”符号执行“,”level“:3,”score“:0.798627},{”id“:”https://openalex.org/C176809094,“wikidata”:https://www.wikidata.org/wiki/Q15401496“,”display_name“:”遍历“,”级别“:2,”分数“:0.664677},{”id“:”https://openalex.org/C187191949,“wikidata”:https://www.wikidata.org/wiki/Q1138496“,”display_name“:”分析(计算机编程)“,”level“:2,”score“:0.58640534},{”id“:”https://openalex.org/C11219265,“wikidata”:https://www.wikidata.org/wiki/Q5158734“,”display_name“:”Concolic testing“,”level“:4,”score“:0.53719383},{”id“:”https://openalex.org/C159149176,“wikidata”:https://www.wikidata.org/wiki/Q14489129“,”display_name“:”进化算法“,”level“:2,”score“:0.53325504},{”id“:”https://openalex.org/C98183937,“wikidata”:https://www.wikidata.org/wiki/Q2112188“,”display_name“:”程序分析“,”level“:2,”score“:0.530684},{”id“:”https://openalex.org/C35129592,“wikidata”:https://www.wikidata.org/wiki/Q324793“,”display_name“:”Memetic algorithm“,”level“:3,”score“:0.50459797},{”id“:”https://openalex.org/C2989134064,“wikidata”:https://www.wikidata.org/wiki/Q288510“,”display_name“:”执行时间“,”级别“:2,”分数“:0.50138927},{”id“:”https://openalex.org/C177264268,“wikidata”:https://www.wikidata.org/wiki/Q1514741“,”display_name“:”Set(abstract data type)“,”level“:2,”score“:0.4781612},{”id“:”https://openalex.org/C128942645,“wikidata”:https://www.wikidata.org/wiki/Q1568346“,”display_name“:”测试用例“,”level“:3,”score“:0.46308428},{”id“:”https://openalex.org/C2777735758,“wikidata”:https://www.wikidata.org/wiki/Q817765“,”display_name“:”Path(computing)“,”level“:2,”score“:0.4543114},{”id“:”https://openalex.org/C98045186,“wikidata”:https://www.wikidata.org/wiki/Q205663“,”display_name“:”Process(computing)“,”level“:2,”score“:0.42727792},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.33730054},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.30534485},{”id“:”https://openalex.org/C119857082,“wikidata”:https://www.wikidata.org/wiki/Q2539“,”display_name“:”机器学习“,”level“:1,”score“:0.19259039},{”id“:”https://openalex.org/C2777904410,“wikidata”:https://www.wikidata.org/wiki/Q7397“,”display_name“:”Software“,”level“:2,”score“:0.133305682},{”id“:”https://openalex.org/C152877465,“wikidata”:https://www.wikidata.org/wiki/Q208042“,”display_name“:”回归分析“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C13280743,“wikidata”:https://www.wikidata.org/wiki/Q131089“,”display_name“:”大地测量“,”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,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1002/stvr.1719“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S83624231“,”display_name“:”软件测试验证和可靠性“,”issn_l“:”0960-0833“,”isn“:[”0960-0.833“、”1099-1689“],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310320595“,”“host_organization_name”:“威利”,“host_organization_lineage”:[“https://openalex.org/P4310320595“],”host_organization_lineage_names“:[”Wiley“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:nul,“sustainable_development_goals”:[{“display_name”:“和平、正义和强大的制度”,“score”:0.41,“id”:“https://metadata.un.org/sdg/16“}],”grants“:[],”datasets“:[],”versions“:[】,”referenced_works_count“:41,”referrenced_works“:【”https://openalex.org/W1499704756","https://openalex.org/W166889777","https://openalex.org/W1710734607","https://openalex.org/W1762252016","https://openalex.org/W1845288303","https://openalex.org/W1928648279","https://openalex.org/W1967471703","https://openalex.org/W1975833562","https://openalex.org/W1985335248","https://openalex.org/W1985982889","https://openalex.org/W1993760289","https://openalex.org/W2004071059","https://openalex.org/W2018017297","https://openalex.org/W2032782696","https://openalex.org/W2041470132","https://openalex.org/W20430633","https://openalex.org/W2051990174","https://openalex.org/W2061686717","https://openalex.org/W2061731456","https://openalex.org/W2075485888","https://openalex.org/W2076880263","https://openalex.org/W2083801813","https://openalex.org/W2094568767","https://openalex.org/W2101512909","https://openalex.org/W2105864475","https://openalex.org/W2107147876","https://openalex.org/W2110311336","https://openalex.org/W2114345296","https://openalex.org/W2114869486","https://openalex.org/W2122598528","https://openalex.org/W2126752493网址","https://openalex.org/W2156817734","https://openalex.org/W2159586681","https://openalex.org/W2163499368","https://openalex.org/W2586946380","https://openalex.org/W2614656508","https://openalex.org/W2619742609","https://openalex.org/W2735077751","https://openalex.org/W2901141459","https://openalex.org/W3006404764网址","https://openalex.org/W345638404“],”related_works“:[”https://openalex.org/W4376123179","https://openalex.org/W4295529944","https://openalex.org/W345638404","https://openalex.org/W2972209643","https://openalex.org/W2962746916","https://openalex.org/W2885626945","https://openalex.org/W2375338395","https://openalex.org/W2364496964","https://openalex.org/W19720440","https://openalex.org/W1541187842“],”ngrams_url“:”https://api.openalex.org/works/W2990769324/ngrams网站“,”“abstract_inverted_index”:{“Summary”:[0],“Performance”:[1],“profileing”:[2],“can”:[3],“benefit”:[4],“from”:[5132],“test”:[6,24183205],“cases”:[7,25184206],“that”:[8,26,3811124175217229],“hit”:/9],“high\u2010cost”:[10],“executions”:[11],“of”:[12,21,31,46,66,84149162171202],“程序”:[13],“In”:[14],“this”:[15,40221],“paper”:[16],“我们”:[17,55194218],“调查”:[18],“the”:[19,28,63,67,71,76,94100133146150163200209232],“problem”:[20,41201],“automatically”:[22],“generating”:[231880203],“trigger”:[27],“最坏的情况”:[29182204],“execution”:[30,48,641818127147216],“programs”:[32186],“and”:[33,49130139],“proposal”:[34],“a”:[35108169],“新颖”:[36],“技术“:[37106177],”求解“:[39],”使用“:[42126187],”an“:[43,81],”前所未有“:[44],”组合“:[45],”符号“:[47,89117215],”进化“:[50,85211],”算法。“:[51],“我们的”:[52],“技术”,:[53],“其中”:[54,91188],“参考”:[56],“到”:[57,74,98119145156],“作为”:[58,70197199],“\u2018Evolutionary”:[59],“符号”:[60],“执行\u2019,”:[61],“拥抱”:[62],“成本”:[65],“程序”:[68,96122137154233],“路径”:[69,97123138],“适应性”:[72],“功能”:[73],“追求”:[75],“最差”:[77151164],“执行”。“:[78],“It”:[79],“defines”:[80107],“original”:[82],“set”:[83170],“operators,”:[86],“based”:[87213],“on”:[88168214],“execution”,“:[90],“appropriate”:[92],“sample”:[93],“possible”:[95],“make”:[99],“search”:[101],“process”:[102],“effectived”。“:[103],”具体来说,“:[104],”我们的“:[105176],”模因“:[109],”算法“:[110],”(i)“:[112],”增量“:[113],”进化“:[114],”by“:[115],”steering“:[116],”traverse“:[120],”new“:[121],”compliance“:[125],”conditions“:[128148],”combined“:[129],”refined“:[131],”currently“:[134152],”collected“],“更糟”:[136],“(ii)”:[140],“周期性”:[141],“应用“:[142],”本地“:[143],”优化“:[144],”识别“:[153],”路径“:[155],”进一步“:[157],”速度“:[158],”向上“:[159],”标识“:[161],”path。“:[165],”我们“:[166],”报告“:[167],”初始“:[172],”实验“:[173],”指示“:[174],”成功“:[178],”in“:[179220],”好“:[181],”for“:[185],”existing“:[189],”approachs“:[190],”cannot“:[191],”cope。“:[192],”“Also,”“:[193],”show“:[195],”that,“:[196],”far“:[198],”is“:[207],”concerned,“:[208],”distingtinguished“:[210228],”operators“:[21228],“define”:[219],“paper”:[222],“are”:[223],“more”:[224],“effectived”:[225],“than”:[226],“traditional”:[227],“direct”:[230],”操纵“:[231],”输入。“:[234]},”cited_by_api_url“:”https://api.openalex.org/works?filter=引用:W2990769324“,”counts_by_year“:[],”updated_date“:”2024-08-22T02:38:34.265492“,”created_dates“:”2019-12-05“}