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

Front Matter ....Pages i-xiii
Front Matter ....Pages 1-1
 Software Assurance in an Uncertain World  (Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi)....Pages 3-21
Front Matter ....Pages 23-23
 Tool Support for Correctness-by-Construction  (Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick Kourie, Bruce W. Watson)....Pages 25-42
 Automatic Modeling of Opaque Code for JavaScript Static Analysis  (Joonyoung Park, Alexander Jordan, Sukyoung Ryu)....Pages 43-60
 SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language  (Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen)....Pages 61-78
 A Hybrid Dynamic Logic for Event/Data-Based Systems  (Rolf Hennicker, Alexandre Madeira, Alexander Knapp)....Pages 79-97
Front Matter ....Pages 99-99
 Pyro: Generating Domain-Specific Collaborative Online Modeling Environments  (Philip Zweihoff, Stefan Naujokat, Bernhard Steffen)....Pages 101-115
 Efficient Model Synchronization by Automatically Constructed Repair Processes  (Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer)....Pages 116-133
 Offline Delta-Driven Model Transformation with Dependency Injection  (Artur Boronat)....Pages 134-150
 A Logic-Based Incremental Approach to Graph Repair  (Sven Schneider, Leen Lambers, Fernando Orejas)....Pages 151-167
Front Matter ....Pages 169-169
 DeepFault: Fault Localization for Deep Neural Networks  (Hasan Ferit Eniser, Simos Gerasimou, Alper Sen)....Pages 171-191
 Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL  (Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski)....Pages 192-209
 Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System  (Li Huang, Eun-Young Kang)....Pages 210-227
 Checking Observational Purity of Procedures  (Himanshu Arora, Raghavan Komondoor, G. Ramalingam)....Pages 228-243
Front Matter ....Pages 245-245
 Structural and Nominal Cross-Language Clone Detection  (Lawton Nichols, Mehmet Emre, Ben Hardekopf)....Pages 247-263
 SL2SF: Refactoring Simulink to Stateflow  (Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan Selim, Curtis Milo et al.)....Pages 264-281
 Metric Temporal Graph Logic over Typed Attributed Graphs  (Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider)....Pages 282-298
 KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs  (Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata)....Pages 299-305
 Business Process Privacy Analysis in Pleak  (Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud et al.)....Pages 306-312
Front Matter ....Pages 313-313
 CLTestCheck: Measuring Test Effectiveness for GPU Kernels  (Chao Peng, Ajitha Rajan)....Pages 315-331
 Implementing SOS with Active Objects: A Case Study of a Multicore Memory System  (Nikolaos Bezirgiannis, Frank de Boer, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa)....Pages 332-350
 Optimal and Automated Deployment for Microservices  (Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro)....Pages 351-368
 A Data Flow Model with Frequency Arithmetic  (Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise)....Pages 369-385
Front Matter ....Pages 387-387
 CoVeriTest: Cooperative Verifier-Based Testing  (Dirk Beyer, Marie-Christine Jakobs)....Pages 389-408
 Open image in new window: Priority Aware Test Case Reduction  (Golnaz Gharachorlu, Nick Sumner)....Pages 409-426
 Automatically Identifying Sufficient Object Builders from Module APIs  (Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias)....Pages 427-444
Back Matter ....Pages 445-446