04841nam 22008055 450 991033756070332120230329173200.03-030-16722-410.1007/978-3-030-16722-6(CKB)4100000007823543(DE-He213)978-3-030-16722-6(MiAaPQ)EBC5917980(Au-PeEL)EBL5917980(OCoLC)1132419369(oapen)https://directory.doabooks.org/handle/20.500.12854/27030(PPN)235668389(EXLCZ)99410000000782354320190403d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /edited by Reiner Hähnle, Wil van der Aalst1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XIII, 446 p. 1202 illus., 85 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;114243-030-16721-6 FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.This book is Open Access under a CC BY licence.Theoretical Computer Science and General Issues,2512-2029 ;11424Software engineeringCompilers (Computer programs)Electronic digital computers—EvaluationComputersProfessionsComputer scienceComputer simulationSoftware EngineeringCompilers and InterpretersSystem Performance and EvaluationThe Computing ProfessionTheory of ComputationComputer ModellingSoftware engineering.Compilers (Computer programs).Electronic digital computers—Evaluation.Computers.Professions.Computer science.Computer simulation.Software Engineering.Compilers and Interpreters.System Performance and Evaluation.The Computing Profession.Theory of Computation.Computer Modelling.005.1005.1Hähnle Reineredt1351240Hähnle Reineredthttp://id.loc.gov/vocabulary/relators/edtvan der Aalst Wiledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337560703321Fundamental Approaches to Software Engineering3091237UNINA