Vor Ort
Merkzettel Warenkorb
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
Band 14464 - 10%

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science
10% sparen

76,99 € UVP 85,59 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.12.2023

Abbildungen

XIII, 436 p. 118 illus., 86 illus. in color.

Herausgeber

Holger Hermanns + weitere

Verlag

Springer Singapore

Seitenzahl

436

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1st ed. 2024

Sprache

Englisch

ISBN

978-981-9986-63-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.12.2023

Abbildungen

XIII, 436 p. 118 illus., 86 illus. in color.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

436

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1st ed. 2024

Sprache

Englisch

ISBN

978-981-9986-63-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications

  • 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.