![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
SATE 2018: Shenzhen, Guangdong, China
- Lei Bu, Yingfei Xiong:
Software Analysis, Testing, and Evolution - 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings. Lecture Notes in Computer Science 11293, Springer 2018, ISBN 978-3-030-04271-4
Program Repair
- Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu:
Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. 3-19 - Lin Ma, Zuohua Ding:
Software Bug Localization Based on Key Range Invariants. 20-32 - Deheng Yang, Yuhua Qi, Xiaoguang Mao:
Evaluating the Strategies of Statement Selection in Automated Program Repair. 33-48
Program Analysis
- Bailin Lu, Wei Dong, Liangze Yin, Li Zhang:
Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. 51-67 - Yang Luo, Wanwangying Ma, Yanhui Li, Zhifei Chen, Lin Chen:
Recognizing Potential Runtime Types from Python Docstrings. 68-84 - Xinmeng Xia, Xincheng He, Yanyan Yan, Lei Xu, Baowen Xu:
An Empirical Study of Dynamic Types for Python Projects. 85-100
Software Mining
- Dinan Zhang, Shizhan Chen, Qiang He, Zhiyong Feng, Keman Huang:
What Strokes to Modify in the Painting? Code Changes Prediction for Object-Oriented Software. 103-119 - Jiewei Zhang, Xiaoyuan Xie, Zhiyi Zhang:
How Reliable Is Your Outsourcing Service for Data Mining? A Metamorphic Method for Verifying the Result Integrity. 120-136 - Ye Wang, Na Meng, Hao Zhong
:
CMSuggester: Method Change Suggestion to Complement Multi-entity Edits. 137-153 - Zhanqi Cui
, Xiang Chen, Yongmin Mu, Zhihua Zhang, Xu Ma:
Mining Function Call Sequence Patterns Across Different Versions of the Project for Defect Detection. 154-169
Testing and Monitoring
- Xiaofang Qi, Yueran Li:
Parallel Reachability Testing Based on Hadoop MapReduce. 173-184 - Yin Li, Zhi-Guang Sun, Ting-Ting Jiang:
An Automated Test Suite Generating Approach for Stateful Web Services. 185-201 - Chengrui He, Li Zhang, Gang Wang, Ziqi Zhen, Lei Wang:
Transient Fault Detection and Recovery Mechanisms in μC/OS-II. 202-218
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.