LEADER 05459nam 22008415 450 001 9910555236603321 005 20251113184034.0 010 $a3-030-99429-5 024 7 $a10.1007/978-3-030-99429-7 035 $a(CKB)5860000000038015 035 $aEBL6941355 035 $a(AU-PeEL)EBL6941355 035 $a(MiAaPQ)EBC6941355 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81637 035 $a(PPN)261518267 035 $a(Au-PeEL)EBL6941355 035 $a(OCoLC)1308973774 035 $a(oapen)doab81637 035 $a(DE-He213)978-3-030-99429-7 035 $a(EXLCZ)995860000000038015 100 $a20220328d2022 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamental Approaches to Software Engineering $e25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2?7, 2022, Proceedings /$fedited by Einar Broch Johnsen, Manuel Wimmer 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (xiv, 347 pages) $cillustrations 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13241 300 $aIncludes author index. 300 $aDescription based upon print version of record. 311 1 $a3-030-99428-7 327 $aFASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). 330 $aThis open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13241 606 $aSoftware engineering 606 $aComputer science 606 $aMicroprogramming 606 $aComputer systems 606 $aProgramming languages (Electronic computers) 606 $aNatural language processing (Computer science) 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aControl Structures and Microprogramming 606 $aComputer System Implementation 606 $aProgramming Language 606 $aNatural Language Processing (NLP) 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aMicroprogramming. 615 0$aComputer systems. 615 0$aProgramming languages (Electronic computers). 615 0$aNatural language processing (Computer science). 615 14$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aControl Structures and Microprogramming. 615 24$aComputer System Implementation. 615 24$aProgramming Language. 615 24$aNatural Language Processing (NLP). 676 $a005.1 700 $aJohnsen$b Einar Broch$4edt$01236514 701 $aJohnsen$b Einar Broch$01236514 701 $aWimmer$b Manuel$01221425 712 12$aFASE (Conference)$d(25th :$f2022 :$eMunich, Germany) 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a9910555236603321 996 $aFundamental Approaches to Software Engineering$92871123 997 $aUNINA