Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

Dependable Software Engineering. Theories, Tools, and Applications

8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Wei Dong

    1. National University of Defense Technology, Changsha, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Pierre Talpin

    1. Inria, Rennes, France

    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 13649)

Included in the following conference series:

Conference proceedings info: SETTA 2022.

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
$34.99 /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 USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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

About this book

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.

The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 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.

Similar content being viewed by others

Keywords

Table of contents (14 papers)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Verification and Testing for Machine Learning

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. HashC: Making DNNs’ Coverage Testing Finer and Faster

      • Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun
      Pages 3-21

    3. MTUL: Towards Mutation Testing of Unsupervised Learning Systems

      • Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
      Pages 22-40

    4. COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

      • Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
      Pages 41-49

  3. Dependable Software Development

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. VM Migration and Live-Update for Reliable Embedded Hypervisor

      • Siran Li, Lei Wang, Keyang Hu, Ce Mo, Bo Jiang
      Pages 53-69

    3. Mastery: Shifted-Code-Aware Structured Merging

      • Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He
      Pages 70-87

    4. KCL: A Declarative Language for Large-Scale Configuration and Policy Management

      • XiaoDong Duo, Pengfei Xu, Zheng Zhang, Shushan Chai, Rui Xia, Zhe Zong
      Pages 88-105

    5. EqFix: Fixing LaTeX Equation Errors by Examples

      • Fengmin Zhu, Fei He
      Pages 106-124

  4. Dependable CPS and Concurrent Systems

    1. Front Matter

      Pages 125-125
      Download chapter PDF

    2. Translating CPS with Shared-Variable Concurrency in SpaceEx

      • Ran Li, Huibiao Zhu, Richard Banach
      Pages 127-133

    3. A Contract-Based Semantics and Refinement for Simulink

      • Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu
      Pages 134-148

    4. Decidability of Liveness for Concurrent Objects on the TSO Memory Model

      • Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
      Pages 149-165

  5. Theorem Proving and SAT

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Integration of Multiple Formal Matrix Models in Coq

      • ZhengPu Shi, Gang Chen
      Pages 169-186

    3. On-The-Fly Bisimilarity Checking for Fresh-Register Automata

      • M. H. Bandukara, N. Tzevelekos
      Pages 187-204

    4. LOGIC: A Coq Library for Logics

      • Yichen Tao, Qinxiang Cao
      Pages 205-226

    5. Diversifying a Parallel SAT Solver with Bayesian Moment Matching

      • Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh
      Pages 227-233

  6. Back Matter

    Pages 235-235
    Download chapter PDF
Back to top

Other volumes

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

Editors and Affiliations

  • National University of Defense Technology, Changsha, China

    Wei Dong

  • Inria, Rennes, France

    Jean-Pierre Talpin

Bibliographic Information

  • Book Title: Dependable Software Engineering. Theories, Tools, and Applications

  • Book Subtitle: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

  • Editors: Wei Dong, Jean-Pierre Talpin

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-21213-0

  • Publisher: Springer Cham

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

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022

  • Softcover ISBN: 978-3-031-21212-3Published: 11 December 2022

  • eBook ISBN: 978-3-031-21213-0Published: 10 December 2022

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXII, 235

  • Number of Illustrations: 17 b/w illustrations, 42 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation