Fundamental 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 /

Fundamental 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 Aalst.

This book is Open Access under a CC BY licence.

Saved in:
Bibliographic Details
Superior document:Theoretical Computer Science and General Issues, 11424
HerausgeberIn:
Hähnle, Reiner.
van der Aalst, Wil.
Place / Publishing House:Cham : : Springer International Publishing :, Imprint: Springer,, 2019.
Year of Publication:2019
Edition:1st ed. 2019.
Language:English
Series:Theoretical Computer Science and General Issues, 11424
Physical Description:1 online resource (XIII, 446 p. 1202 illus., 85 illus. in color.)
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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.

Similar Items