Fundamental Approaches to Software Engineering
Springer International Publishing (Verlag)
978-3-030-71499-4 (ISBN)
The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
FASE Contributions.- On Benchmarking for Concurrent Runtime Verification.- Certified Abstract Cost Analysis.- Bootstrapping Automated Testing for RESTful Web Services.- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features.- Finding a Universal Execution Strategy for Model Transformation Networks.- CoVEGI: Cooperative Veri cation via Externally Generated Invariants.- Engineering Secure Self-Adaptive Systems with Bayesian Games.- An Abstract Contract Theory for Programs with Procedures.- Paracosm: A Test Framework for Autonomous Driving Simulations.- Compositional Analysis of Probabilistic Timed Graph Transformation Systems.- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.- Effects of Program Representation on Pointer Analyses - An Empirical Study.- Keeping Pace with the History of Evolving Runtime Models.- SpecTest: Specification-Based Compiler Testing.- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems.- Understanding Local Robustness of Deep Neural Networks under Natural Variations.- Test-Comp Contributions.- Status Report on Software Testing: Test-Comp 2021.- CoVeriTest with Adaptive Time Scheduling (Competition Contribution).- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).
Erscheinungsdatum | 08.04.2021 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XIV, 373 p. 95 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 593 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Applications • architecture verification and validation • Artificial Intelligence • Computer Science • conference proceedings • Embedded Systems • empirical software validation • Formal Logic • formal methods • Informatics • Model Checking • Model-Driven Software Engineering • object-oriented programming • open access • parallel processing systems • program analysis • program compilers • Research • Signal Processing • software architecture • Software engineering • software performance • software selection and adaptation • software testing and debugging • Telecommunication Systems • verification |
ISBN-10 | 3-030-71499-3 / 3030714993 |
ISBN-13 | 978-3-030-71499-4 / 9783030714994 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich