Advertisement

Software Analysis, Testing, and Evolution

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

  • Lei Bu
  • Yingfei Xiong
Conference proceedings SATE 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11293)

Table of contents

  1. Front Matter
    Pages I-X
  2. Program Repair

    1. Front Matter
      Pages 1-1
    2. Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu
      Pages 3-19
    3. Deheng Yang, Yuhua Qi, Xiaoguang Mao
      Pages 33-48
  3. Program Analysis

    1. Front Matter
      Pages 49-49
    2. Bailin Lu, Wei Dong, Liangze Yin, Li Zhang
      Pages 51-67
    3. Yang Luo, Wanwangying Ma, Yanhui Li, Zhifei Chen, Lin Chen
      Pages 68-84
    4. Xinmeng Xia, Xincheng He, Yanyan Yan, Lei Xu, Baowen Xu
      Pages 85-100
  4. Software Mining

    1. Front Matter
      Pages 101-101
    2. Dinan Zhang, Shizhan Chen, Qiang He, Zhiyong Feng, Keman Huang
      Pages 103-119
    3. Zhanqi Cui, Xiang Chen, Yongmin Mu, Zhihua Zhang, Xu Ma
      Pages 154-169
  5. Testing and Monitoring

    1. Front Matter
      Pages 171-171
    2. Xiaofang Qi, Yueran Li
      Pages 173-184
    3. Yin Li, Zhi-Guang Sun, Ting-Ting Jiang
      Pages 185-201
    4. Chengrui He, Li Zhang, Gang Wang, Ziqi Zhen, Lei Wang
      Pages 202-218
  6. Back Matter
    Pages 219-219

About these proceedings

Introduction

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.

Keywords

artificial intelligence cloud computing computer systems data mining debugging monitoring program compilers program debugging program repair programming languages semantics software analysis software engineering software evaluation software evolution software mining software testing static analysis type analysis web services

Editors and affiliations

  1. 1.Nanjing UniversityNanjingChina
  2. 2.Peking UniversityPekingChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-04272-1
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-04271-4
  • Online ISBN 978-3-030-04272-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site