FindBook      Google Book      Amazon      博客來     
  • Dependable software engineering = theories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Dependable software engineering/ edited by Holger Hermanns, Jun Sun, Lei Bu.
    其他題名: theories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings /
    其他題名: SETTA 2023
    其他作者: Hermanns, Holger.
    團體作者: SETTA (Symposium)
    出版者: Singapore :Springer Nature Singapore : : 2024.,
    面頁冊數: xiii, 436 p. :ill. (chiefly col.), digital ;24 cm.
    內容註: String Constraints with Regex-Counting and String-Length Solved More Efficiently -- Reachability Based Uniform Controllability to Target Set with Evolution Function -- Enhancing Branch and Bound for Robustness Verification of Neural Networks via An Effective Branching Strategy -- Graph-Based Log Anomaly Detection via Adversarial Training -- Formal Verification based Synthesis for Behavior Trees -- SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries -- Session Types with Multiple Senders Single Receiver -- Understanding the Reproducibility Issues of Monkey for GUI Testing -- Multi-Dimensional Abstraction and Decomposition for Separation of Concerns -- Solving SMT Over Non-Linear Real Arithmetic via Numerical Sampling and Symbolic Verification -- Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service -- Modeling Regex Operators for Solving Regex Crossword Puzzles -- Software Vulnerability Detection Using an Enhanced Generalization Strategy -- HeatC: a Variable-Grained Coverage Criterion for Deep Learning Systems -- Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework -- Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications -- Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance -- An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals -- Deducing Matching Strings for Real-World Regular Expressions -- Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis -- Cheat-FlipIt: an Approach to Modeling and Perception of a Deceptive Opponent -- Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification -- Optimized Solutions for Highly Contended Transactional Workloads -- DeepTD: Diversity-Guided Deep Neural Network Test Generation.
    Contained By: Springer Nature eBook
    標題: Software engineering - Congresses. -
    電子資源: https://doi.org/10.1007/978-981-99-8664-4
    ISBN: 9789819986644
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入