dapper
发表于 2025-3-25 05:08:07
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:27
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:58
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:14
http://reply.papertrans.cn/88/8707/870625/870625_24.png
领袖气质
发表于 2025-3-25 21:05:38
http://reply.papertrans.cn/88/8707/870625/870625_25.png
probate
发表于 2025-3-26 03:57:09
http://reply.papertrans.cn/88/8707/870625/870625_26.png
减少
发表于 2025-3-26 07:46:26
http://reply.papertrans.cn/88/8707/870625/870625_27.png
Locale
发表于 2025-3-26 09:20:45
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:31
http://reply.papertrans.cn/88/8707/870625/870625_29.png
漂泊
发表于 2025-3-26 17:34:08
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