Skip to main content
SpringerLink
Log in

Dependable Software Engineering. Theories, Tools, and Applications

7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Shengchao Qin

    1. Teesside University, Middlesbrough, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jim Woodcock

    1. University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Wenhui Zhang

    1. Institute of Software, Chinese Academy of Sciences, Beijing, 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 13071)

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

Included in the following conference series:

Conference proceedings info: SETTA 2021.

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

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • 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

Table of contents (16 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Systems Development

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization

      • Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun
      Pages 3-21

    3. DeepGlobal: A Global Robustness Verifiable FNN Framework

      • Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
      Pages 22-39

    4. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

      • Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
      Pages 40-58

  3. Program Analysis and Verifiation

    1. Front Matter

      Pages 59-59
      Download chapter PDF

    2. Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics

      • Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
      Pages 61-80

    3. Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP

      • Lili Xiao, Huibiao Zhu
      Pages 81-101

    4. Formal Analysis of 5G AKMA

      • Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang et al.
      Pages 102-121

    5. Verifying the Correctness of Distributed Systems via Mergeable Parallelism

      • Teng Long, Xingtao Ren, Qing Wang, Chao Wang
      Pages 122-140

  4. Testing and Fault Detection

    1. Front Matter

      Pages 141-141
      Download chapter PDF

    2. Mutation Testing of Reinforcement Learning Systems

      • Yuteng Lu, Weidi Sun, Meng Sun
      Pages 143-160

    3. AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism

      • Jinfu Chen, Bo Liu, Saihua Cai, Weijia Wang, Shengran Wang
      Pages 161-177

    4. MC/DC Test Cases Generation Based on BDDs

      • Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
      Pages 178-197

  5. Software Quality

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. Predicting and Monitoring Bug-Proneness at the Feature Level

      • Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li
      Pages 201-218

    3. CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum

      • Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang
      Pages 219-238

    4. A Distributed Simplex Architecture for Multi-agent Systems

      • Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
      Pages 239-257

  6. Satisfiability, Reachability and Model Checking

    1. Front Matter

      Pages 259-259
      Download chapter PDF

    2. \(\mathbf{OURS} \): Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations

      • Ruiqi Hu, Meilun Li, Zhikun She
      Pages 261-278
Back to top

Other volumes

  1. Dependable Software Engineering. Theories, Tools, and Applications

Keywords

About this book

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.

The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Editors and Affiliations

  • Teesside University, Middlesbrough, UK

    Shengchao Qin

  • University of York, York, UK

    Jim Woodcock

  • Institute of Software, Chinese Academy of Sciences, Beijing, China

    Wenhui Zhang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation