2016 International Conference on Software Analysis, Testing and Evolution (SATE)最新文献

Dynamically Detecting DOM-Related Atomicity Violations in JavaScript with Asynchronous Call 通过异步调用动态检测JavaScript中dom相关的原子性违规

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.14

Dezhi Wang, Lei Xu, Baowen Xu, Weifeng Zhang

引用次数: 0

Diagnosis of Service Failures by Probabilistic Inference with Runtime Activity Dependences 基于运行时活动依赖的概率推理服务故障诊断

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.16

Rong Chen, Yaqing Liu, X. Ge, Hui Li

引用次数: 0

Cost-Sensitive Local Collaborative Representation for Software Defect Prediction 用于软件缺陷预测的成本敏感型局部协作表示法

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.24

Fei Wu, Xiaoyuan Jing, Xiwei Dong, Jicheng Cao, Baowen Xu, Shi Ying

{"title":"Cost-Sensitive Local Collaborative Representation for Software Defect Prediction","authors":"Fei Wu, Xiaoyuan Jing, Xiwei Dong, Jicheng Cao, Baowen Xu, Shi Ying","doi":"10.1109/SATE.2016.24","DOIUrl":"https://doi.org/10.1109/SATE.2016.24","url":null,"abstract":"Recently, representative sparse representation based classifiers, namely dictionary learning and collaborative representation based classifier (CRC), has been introduced into software defect prediction (SDP) and demonstrated to be effective for SDP. The dictionary learning based SDP method needs relatively large computational cost, while collaborative representation based method can significantly reduce the computational cost and achieve comparable prediction effects as the former. In this paper, we aim to preserve the desirable efficiency of collaborative representation based SDP method and further improve its prediction effect. We propose a cost-sensitive local collaborative representation (CLCR) approach for SDP. CLCR firstly efficiently finds the neighboring modules of a given test (query) module using CRC. Then CLCR represents the test module as a linear combination of its neighbors and uses the representation error for prediction. To solve the class-imbalance problem, CLCR further incorporates the cost-sensitive factor into the representation coefficients in the prediction phase. Experiments on five projects of the NASA dataset demonstrate the effectiveness of the proposed approach as compared with several related SDP methods.","PeriodicalId":344531,"journal":{"name":"2016 International Conference on Software Analysis, Testing and Evolution (SATE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131041601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Debugging Multithreaded Programs as if They Were Sequential 调试多线程程序，就好像它们是顺序的一样

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.20

Xiaodong Zhang, Z. Yang, Q. Zheng, Yu Hao, Pei Liu, Lechen Yu, Ming Fan, Ting Liu

{"title":"Debugging Multithreaded Programs as if They Were Sequential","authors":"Xiaodong Zhang, Z. Yang, Q. Zheng, Yu Hao, Pei Liu, Lechen Yu, Ming Fan, Ting Liu","doi":"10.1109/SATE.2016.20","DOIUrl":"https://doi.org/10.1109/SATE.2016.20","url":null,"abstract":"Debugging multithreaded software is challenging because the basic assumption that underlies sequential software debugging, i.e. the program behavior is deterministic under fixed inputs, is no longer valid due to the nondeterminism brought by thread scheduling. In this paper, we propose a proactive debugging method to restore this basic assumption so that programmers can debug multithreaded programs as if they were sequential. Our approach is based on the synergistic integration of a set of new symbolic analysis and dynamic analysis techniques. In particular, symbolic analysis is used to investigate the program behavior under multiple thread interleavings and then drive the dynamic execution to new branches. Dynamic analysis is used to execute these new branches and in turn guide the symbolic analysis further. The net effect of applying this feedback loop is a systematic and complete coverage of the program behavior under a fixed test input. We have implemented the proposed method in a software tool called Proactive-Debugger. Our experiments show that Proactive-Debugger outperforms both ESBMC and Maple, two state-of-the-art testing tools for detecting and reproducing bugs in multithreaded programs.","PeriodicalId":344531,"journal":{"name":"2016 International Conference on Software Analysis, Testing and Evolution (SATE)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129032881","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Detecting Code Smells in Python Programs

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.10

Zhifei Chen, Lin Chen, Wanwangying Ma, Baowen Xu

引用次数: 22

Distance-Based Test-Suite Reduction for Efficient Testing-Based Fault Localization 基于距离的测试集缩减，用于有效的基于测试的故障定位

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.21

Xingya Wang, Shujuan Jiang, Pengfei Gao, Xiaolin Ju, Rongcun Wang, Yanmei Zhang

{"title":"Distance-Based Test-Suite Reduction for Efficient Testing-Based Fault Localization","authors":"Xingya Wang, Shujuan Jiang, Pengfei Gao, Xiaolin Ju, Rongcun Wang, Yanmei Zhang","doi":"10.1109/SATE.2016.21","DOIUrl":"https://doi.org/10.1109/SATE.2016.21","url":null,"abstract":"Testing-based Fault Localization (TBFL) can guide and automate the process of program debugging by providing developers with a ranked list of suspicious statements. However, collecting the testing information of the whole original test-suite is always too expensive or even infeasible for developers to conduct efficient TBFL. Traditional Test-Suite Reduction (TSR) approaches can be utilized to reduce the size of test-suite. But they still rely on the time-consuming process of the whole testing information collection. In this paper, we propose a distance-based test-suite reduction (DTSR) approach. It is guided by the distances between the test cases rather than the whole testing information when conducting the test-suite reduction. Compared with the existing TSRs, DTSR only needs to collect the testing information of a part of test cases. Our investigation on a series of benchmarks shows that DTSR can effectively reduce the size of the given test-suite and the time cost of TBFL. Nerveless, the fault localization effective-ness of our approach is close to that of the whole test-suite.","PeriodicalId":344531,"journal":{"name":"2016 International Conference on Software Analysis, Testing and Evolution (SATE)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132144789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Analysis of the Runtime Linux Operating System as a Complex Weighted Network 运行时Linux操作系统作为复杂加权网络的分析

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.8

Haoqin Wang, Guanping Xiao

引用次数: 3

Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization 装配聚类算法与故障预测在测试用例排序中的应用

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.25

Lei Xiao, Huai-kou Miao, Weiwei Zhuang, Shaojun Chen

引用次数: 4

An Exploratory Analysis on Software Developers' Bug-Introducing Tendency over Time 软件开发人员引入bug趋势的探索性分析

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.9

Yihao Li, Dong Li, Fuqun Huang, Shou-Yu Lee, J. Ai

引用次数: 7

Lightweight Fault Localization Combining with Fault-Context 结合故障上下文的轻量级故障定位

2016 International Conference on Software Analysis, Testing and Evolution (SATE) Pub Date : 2016-11-01 DOI: 10.1109/SATE.2016.23

Yong Wang, Zhiqiu Huang, Yong Li, Bingwu Fang

{"title":"Lightweight Fault Localization Combining with Fault-Context","authors":"Yong Wang, Zhiqiu Huang, Yong Li, Bingwu Fang","doi":"10.1109/SATE.2016.23","DOIUrl":"https://doi.org/10.1109/SATE.2016.23","url":null,"abstract":"Lightweight fault localization technique is a popular class of automated approach to assist programmers in debugging, which often outputs an ordered list of program entities sorted based on their likelihood to be the root cause of a set of failures. However, the technique only focus on calculating the association between program entity and failures, and did not consider program entity's fault context may influence the result. A lightweight fault localization based on fault-context was proposed, which combine suspiciousness of program entity and suspiciousness of program entity's fault-context. We conducted an experiment in which our approach was applied to seven benchmark programs. The experimental results show that our approach combining DStar and fault-context can improve absolute ranking with effective rate of 34.8% for 132 faulty versions from the seven benchmark programs. It is worth mentioning that our approach can obtain average improvement of 65.18% for those improved program if those is effective to SFL, and root causes of failures of 7 buggy programs were improved ranking at the top in the fault ranking report.","PeriodicalId":344531,"journal":{"name":"2016 International Conference on Software Analysis, Testing and Evolution (SATE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131016929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1