Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings / Shengchao Qin, Jim Woodcock, Wenhui Zhang (eds.).
SETTA (Symposium) (7th : 2021 : Beijing, China); Qin, Shengchao, editor; Woodcock, Jim, editor; Zhang, Wenhui, 1963- editor
2021
QA76.758
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings / Shengchao Qin, Jim Woodcock, Wenhui Zhang (eds.).
Meeting Name SETTA (Symposium) (7th : 2021 : Beijing, China)
ISBN 9783030912659 (electronic bk.)
3030912655 (electronic bk.)
9783030912642 (print)
DOI https://doi.org/10.1007/978-3-030-91265-9
Published Cham, Switzerland : Springer, 2021.
Language English
Description 1 online resource (xiii, 321 pages) : illustrations (some color)
Item Number 10.1007/978-3-030-91265-9 doi
Call Number QA76.758
Dewey Decimal Classification 005.1
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.
Note Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed November 29, 2021).
Added Author Qin, Shengchao, editor
Woodcock, Jim, editor
Zhang, Wenhui, 1963- editor
Series Lecture notes in computer science ; 13071.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Print version: 9783030912642
Print version: 9783030912666
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export