{"product_id":"dependable-software-engineering-theories-tools-and-applications-7th-international-symposium-setta-2021-beijing-china-november-25-27-2021-proceedings-9783030912642","title":"Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eThis book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.\u003c\/p\u003e  \u003cp\u003eThe 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.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSystems Development\u003c\/b\u003e.- 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.- \u003cb\u003eProgram Analysis and Verification.- \u003c\/b\u003eReasoning 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.- \u003cb\u003eTesting and Fault Detection.-\u003c\/b\u003e 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.- \u003cb\u003eSoftware Quality.- \u003c\/b\u003ePredicting 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.- \u003cb\u003eSatisfiability, Reachability and Model Checking.- \u003c\/b\u003eOURS: 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.\u003c\/p\u003e","brand":"Springer Nature Switzerland AG","offers":[{"title":"Default Title","offer_id":51742859624791,"sku":"9783030912642","price":58.49,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9783030912642.jpg?v=1758387077","url":"https:\/\/bookcurl.com\/products\/dependable-software-engineering-theories-tools-and-applications-7th-international-symposium-setta-2021-beijing-china-november-25-27-2021-proceedings-9783030912642","provider":"Book Curl","version":"1.0","type":"link"}