LEADER 04767nam 22007335 450 001 996464405903316 005 20230329192953.0 010 $a3-030-71500-0 024 7 $a10.1007/978-3-030-71500-7 035 $a(CKB)4100000011801698 035 $a(MiAaPQ)EBC6523277 035 $a(Au-PeEL)EBL6523277 035 $a(OCoLC)1244545481 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/67919 035 $a(DE-He213)978-3-030-71500-7 035 $a(PPN)254719120 035 $a(EXLCZ)994100000011801698 100 $a20210319d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamental Approaches to Software Engineering$b[electronic resource] $e24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 ? April 1, 2021, Proceedings /$fedited by Esther Guerra, Mariëlle Stoelinga 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (383 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12649 311 $a3-030-71499-3 327 $aFASE 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). 330 $aThis open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27?April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12649 606 $aSoftware engineering 606 $aData structures (Computer science) 606 $aInformation theory 606 $aNatural language processing (Computer science) 606 $aComputer programming 606 $aComputer science 606 $aSoftware Engineering 606 $aData Structures and Information Theory 606 $aNatural Language Processing (NLP) 606 $aProgramming Techniques 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aNatural language processing (Computer science). 615 0$aComputer programming. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aData Structures and Information Theory. 615 24$aNatural Language Processing (NLP). 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 676 $a005.1 700 $aGuerra$b Esther$0851741 701 $aStoelinga$b Marie?lle$0851742 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464405903316 996 $aFundamental Approaches to Software Engineering$91901756 997 $aUNISA