Titlebook: Software Analysis, Testing, and Evolution; 8th International Co Lei Bu,Yingfei Xiong Conference proceedings 2018 Springer Nature Switzerlan

dapper

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

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

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

領(lǐng)袖氣質(zhì)

probate

減少

Locale

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

漂泊

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