Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Software Analysis, Testing, and Evolution

8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Lei Bu

    1. Nanjing University, Nanjing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yingfei Xiong

    1. Peking University, Peking, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11293)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SATE 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 8th International Conference on Software Analysis, Testing, and Evolution, SATE 2018. 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, testing and evolution, including theoretical research, empirical study, new technology, case study and industrial practice.

Similar content being viewed by others

Keywords

Table of contents (13 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Program Repair

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report

      • Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu
      Pages 3-19

    3. Software Bug Localization Based on Key Range Invariants

      • Lin Ma, Zuohua Ding
      Pages 20-32

    4. Evaluating the Strategies of Statement Selection in Automated Program Repair

      • Deheng Yang, Yuhua Qi, Xiaoguang Mao
      Pages 33-48

  3. Program Analysis

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis

      • Bailin Lu, Wei Dong, Liangze Yin, Li Zhang
      Pages 51-67

    3. Recognizing Potential Runtime Types from Python Docstrings

      • Yang Luo, Wanwangying Ma, Yanhui Li, Zhifei Chen, Lin Chen
      Pages 68-84

    4. An Empirical Study of Dynamic Types for Python Projects

      • Xinmeng Xia, Xincheng He, Yanyan Yan, Lei Xu, Baowen Xu
      Pages 85-100

  4. Software Mining

    1. Front Matter

      Pages 101-101
      Download chapter PDF

    2. What Strokes to Modify in the Painting? Code Changes Prediction for Object-Oriented Software

      • Dinan Zhang, Shizhan Chen, Qiang He, Zhiyong Feng, Keman Huang
      Pages 103-119

    3. How Reliable Is Your Outsourcing Service for Data Mining? A Metamorphic Method for Verifying the Result Integrity

      • Jiewei Zhang, Xiaoyuan Xie, Zhiyi Zhang
      Pages 120-136

    4. CMSuggester: Method Change Suggestion to Complement Multi-entity Edits

      • Ye Wang, Na Meng, Hao Zhong
      Pages 137-153

    5. Mining Function Call Sequence Patterns Across Different Versions of the Project for Defect Detection

      • Zhanqi Cui, Xiang Chen, Yongmin Mu, Zhihua Zhang, Xu Ma
      Pages 154-169

  5. Testing and Monitoring

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. Parallel Reachability Testing Based on Hadoop MapReduce

      • Xiaofang Qi, Yueran Li
      Pages 173-184

    3. An Automated Test Suite Generating Approach for Stateful Web Services

      • Yin Li, Zhi-Guang Sun, Ting-Ting Jiang
      Pages 185-201

    4. Transient Fault Detection and Recovery Mechanisms in μC/OS-II

      • Chengrui He, Li Zhang, Gang Wang, Ziqi Zhen, Lei Wang
      Pages 202-218

  6. Back Matter

    Pages 219-219
    Download chapter PDF
Back to top

Other volumes

  1. Software Analysis, Testing, and Evolution

Editors and Affiliations

  • Nanjing University, Nanjing, China

    Lei Bu

  • Peking University, Peking, China

    Yingfei Xiong

Bibliographic Information

  • Book Title: Software Analysis, Testing, and Evolution

  • Book Subtitle: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

  • Editors: Lei Bu, Yingfei Xiong

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-04272-1

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2018

  • Softcover ISBN: 978-3-030-04271-4Published: 20 November 2018

  • eBook ISBN: 978-3-030-04272-1Published: 19 November 2018

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 219

  • Number of Illustrations: 57 b/w illustrations, 28 illustrations in colour

  • Topics: Software Engineering, Computer Systems Organization and Communication Networks, Computing Milieux

Publish with us

Policies and ethics

Back to top

Search

Navigation