Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / edited by Shengchao Qin, Jim Woodcock, Wenhui Zhang.

Format:

Book

Contributor:

Qin, Shengchao, editor.

Woodcock, Jim, editor.

Zhang, Wenhui, 1963- editor.

Series:

Programming and Software Engineering, 2945-9168 ; 13071

Language:

English

Subjects (All):

Software engineering.

Computer engineering.

Computer networks.

Artificial intelligence.

Software Engineering.

Computer Engineering and Networks.

Local Subjects:

Software Engineering.

Computer Engineering and Networks.

Physical Description:

1 online resource (327 pages)

Edition:

1st ed. 2021.

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2021.

Summary:

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.

Contents:

Systems Development

Translating a Large Subset of State ow to Hybrid CSP with Code Optimization

DeepGlobal: a Global Robustness Verifiable FNN Framework

Leveraging Event-B Theories for handling domain knowledge in design models

Program Analysis and Verification

Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics

Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP

Formal Analysis of 5G AKMA

Verifying the Correctness of Distributed Systems via Mergeable Parallelism

Testing and Fault Detection

Mutation Testing of Reinforcement Learning Systems

AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism

MC/DC Test Cases Generation based on BDDs

Software Quality

Predicting and Monitoring Bug-proneness at The Feature Level

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

A Distributed Simplex Architecture for Multi-Agent Systems

Satisfiability, Reachability and Model Checking

OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations

ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas

API Usage Pattern Search Based on Model Checking.

Notes:

Includes bibliographical references and index.

Other Format:

Print version: Qin, Shengchao Dependable Software Engineering. Theories, Tools, and Applications

ISBN:

3-030-91265-5

OCLC:

1286620436