標(biāo)題: Titlebook: Software Analysis, Testing, and Evolution; 8th International Co Lei Bu,Yingfei Xiong Conference proceedings 2018 Springer Nature Switzerlan [打印本頁] 作者: 貪污 時間: 2025-3-21 17:05
書目名稱Software Analysis, Testing, and Evolution影響因子(影響力)
書目名稱Software Analysis, Testing, and Evolution影響因子(影響力)學(xué)科排名
書目名稱Software Analysis, Testing, and Evolution網(wǎng)絡(luò)公開度
書目名稱Software Analysis, Testing, and Evolution網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Analysis, Testing, and Evolution被引頻次
書目名稱Software Analysis, Testing, and Evolution被引頻次學(xué)科排名
書目名稱Software Analysis, Testing, and Evolution年度引用
書目名稱Software Analysis, Testing, and Evolution年度引用學(xué)科排名
書目名稱Software Analysis, Testing, and Evolution讀者反饋
書目名稱Software Analysis, Testing, and Evolution讀者反饋學(xué)科排名
作者: 壓倒 時間: 2025-3-21 21:02 作者: 干涉 時間: 2025-3-22 02:50
Han Wang,Min Zhou,Xi Cheng,Guang Chen,Ming Guions by two apparent interlopers, Robert Musil and RaymondQueneau, for whom mathematical concepts represented a valuable tool for resolving the struggle between ‘soul and precision.’978-3-642-44755-6978-3-642-13606-1作者: 外觀 時間: 2025-3-22 06:05
Lin Ma,Zuohua Dingions by two apparent interlopers, Robert Musil and RaymondQueneau, for whom mathematical concepts represented a valuable tool for resolving the struggle between ‘soul and precision.’978-3-642-44755-6978-3-642-13606-1作者: 窒息 時間: 2025-3-22 10:24 作者: 感染 時間: 2025-3-22 15:44 作者: 步履蹣跚 時間: 2025-3-22 20:03 作者: 充滿裝飾 時間: 2025-3-22 22:20
Yang Luo,Wanwangying Ma,Yanhui Li,Zhifei Chen,Lin Chenions by two apparent interlopers, Robert Musil and RaymondQueneau, for whom mathematical concepts represented a valuable tool for resolving the struggle between ‘soul and precision.’978-3-642-44755-6978-3-642-13606-1作者: 南極 時間: 2025-3-23 05:22 作者: MURKY 時間: 2025-3-23 07:58
ions by two apparent interlopers, Robert Musil and RaymondQueneau, for whom mathematical concepts represented a valuable tool for resolving the struggle between ‘soul and precision.’978-3-642-44755-6978-3-642-13606-1作者: tenuous 時間: 2025-3-23 13:24 作者: Diskectomy 時間: 2025-3-23 16:16
Jiewei Zhang,Xiaoyuan Xie,Zhiyi Zhangp.?The Hotelling case is formally worked out with elastic demand, which limits the occurrence of some of the confusing paradoxes Hotelling found for inelastic demand. .978-3-642-05665-9978-3-540-24785-2Series ISSN 1430-9602 Series E-ISSN 2197-9375 作者: 系列 時間: 2025-3-23 21:01 作者: Soliloquy 時間: 2025-3-23 23:16 作者: CERE 時間: 2025-3-24 05:38 作者: 安慰 時間: 2025-3-24 07:52
found two small papers by Martin Beckmann from the early 50es. These concise contributions, largely overlooked, which did cast the entire spatial trade equilibrium in terms of two partial differen- tial equations became the focus of interest of the author for many years. It was, however, at first ha作者: abysmal 時間: 2025-3-24 11:05
Yin Li,Zhi-Guang Sun,Ting-Ting Jiang process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing 作者: Fraudulent 時間: 2025-3-24 18:25
Chengrui He,Li Zhang,Gang Wang,Ziqi Zhen,Lei Wang process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing 作者: 惡名聲 時間: 2025-3-24 21:48
process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing 作者: Prognosis 時間: 2025-3-25 02:08
Software Bug Localization Based on Key Range Invariantsoverhead of monitoring variables, we can use this method to ignore variables that are considered unimportant. The experimental results show that, the method can still maintain a good bug localization effect only monitoring the key variable set, which verifies the effectiveness of the method.作者: dapper 時間: 2025-3-25 05:08
Evaluating the Strategies of Statement Selection in Automated Program RepairA and RFA as well as 6 popular spectrum-based fault localization techniques into 4 automated program repair tools, and then use these tools to perform repair experiments on 44 real-world bugs from Defects4J to compare SFA against RFA in automated program repair. The results suggest that: (1) RFA per作者: Carminative 時間: 2025-3-25 11:21
Evaluating and Integrating Diverse Bug Finders for Effective Program AnalysisEvaluation results show that: (1) the abilities of diverse tools are quite different for defect types and code structures, and their overlaps are quite small; (2) the integration based on machine learning can obviously improve the overall performance of static analysis. Finally, we investigated the 作者: Trabeculoplasty 時間: 2025-3-25 11:38
Recognizing Potential Runtime Types from Python Docstringsrmances among four studied classifiers, whose precision, recall, F1-score, jaccard index, hamming loss, accuracy and MRR achieve 0.681, 0.548, 0.582, 0.542, 1.234, 0.432 and 0.778 respectively. Multi-layer perceptron has the weakest performances. Futher more, we discover that the performances of fou作者: floaters 時間: 2025-3-25 16:06 作者: 領(lǐng)袖氣質(zhì) 時間: 2025-3-25 21:05 作者: probate 時間: 2025-3-26 03:57 作者: 減少 時間: 2025-3-26 07:46 作者: Locale 時間: 2025-3-26 09:20
Transient Fault Detection and Recovery Mechanisms in μC/OS-IInt, this method could be used in imbedded operating systems μC/OS-II, and it can simulate a program flow error caused by transient fault with the method of fault injection. With this method, it can help to detect the occurrence of an error and guarantee the normal running of the system using recover作者: Flustered 時間: 2025-3-26 12:45 作者: 漂泊 時間: 2025-3-26 17:34
0302-9743 he 13 full papers presented were carefully reviewed and selected from 34 submissions. The papers describe results related to software analysis, testing and evolution, including theoretical research, empirical study, new technology, case study and industrial practice..978-3-030-04271-4978-3-030-04272-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Addictive 時間: 2025-3-26 22:07
Conference proceedings 2018rence was co-located with the national Software Application Conference, NASAC 2018, and was held in Shenzhen, Guangdong, in November 2018. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The papers describe results related to software analysis, testing and evol作者: Ibd810 時間: 2025-3-27 03:28
0302-9743 The conference was co-located with the national Software Application Conference, NASAC 2018, and was held in Shenzhen, Guangdong, in November 2018. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The papers describe results related to software analysis, testin作者: Constitution 時間: 2025-3-27 06:01 作者: 珊瑚 時間: 2025-3-27 09:33 作者: 有偏見 時間: 2025-3-27 13:49
Parallel Reachability Testing Based on Hadoop MapReduceRT, and reports the results of five concurrent Java programs that were conducted to evaluate the speed-up with respect to the sequential execution of reachability testing. Experimental results demonstrate that our PRT is an effective approach to parallelizing reachability testing.作者: 佛刊 時間: 2025-3-27 19:19 作者: 礦石 時間: 2025-3-28 01:17
Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report reports. Moreover, the inability to preclude overwhelming false alarms deters user’s confidence on such tools and severely limits their adoption in development cycles. In this paper, we propose a semantic approach for prioritizing defect reports emitted by static analysis. Our approach evaluates th作者: BIDE 時間: 2025-3-28 02:13 作者: 等待 時間: 2025-3-28 08:21
Evaluating the Strategies of Statement Selection in Automated Program Repairt localization, which generally provides a rank list of suspicious statements, is necessary for automated repair tools to identify the fault. With such rank list, existing repair tools have two statement selecting strategies for statement modification: suspiciousness-first algorithm (SFA) based on t作者: 催眠藥 時間: 2025-3-28 13:16 作者: 廣大 時間: 2025-3-28 14:52 作者: 減去 時間: 2025-3-28 22:34 作者: 發(fā)怨言 時間: 2025-3-28 23:59
What Strokes to Modify in the Painting? Code Changes Prediction for Object-Oriented Softwareg testing and maintenance have become a practical research challenge. In this paper, we employ an approach that can identify the change-proneness in the source code of new object-oriented software releases and predict the corresponding change sizes. We first define two metrics, namely Class Change M作者: LAITY 時間: 2025-3-29 06:43
How Reliable Is Your Outsourcing Service for Data Mining? A Metamorphic Method for Verifying the Resime and memory consumption in association rules mining is from its first step - frequent itemsets mining. With the development of cloud computing, outsourcing this task to third-party service providers will save efforts in system development, deployment, operation, etc. Outsourcing, however, actuall作者: 委屈 時間: 2025-3-29 10:54 作者: Sigmoidoscopy 時間: 2025-3-29 12:59
Mining Function Call Sequence Patterns Across Different Versions of the Project for Defect Detection in the process of programming, they may introduce software defects. Mining programming rules for detecting defect is an effective way to alleviate this problem. However, previous works suffer from a large number of candidate rules and suspicious defects which need manual validation. This issue affe作者: Carcinoma 時間: 2025-3-29 16:52 作者: 極大的痛苦 時間: 2025-3-29 22:56 作者: 小木槌 時間: 2025-3-30 03:51 作者: aneurysm 時間: 2025-3-30 05:26 作者: 改變 時間: 2025-3-30 08:46
e turmoil of the century in which they lived and worked.ExceSteps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of作者: 隼鷹 時間: 2025-3-30 13:13
Han Wang,Min Zhou,Xi Cheng,Guang Chen,Ming Gue turmoil of the century in which they lived and worked.ExceSteps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of作者: 保守 時間: 2025-3-30 18:09 作者: 獸皮 時間: 2025-3-30 22:40
