| 2019 | : Priority Aware Test Case Reduction. Golnaz Gharachorlu, Nick Sumner |
| 2019 | A Data Flow Model with Frequency Arithmetic. Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise |
| 2019 | A Hybrid Dynamic Logic for Event/Data-Based Systems. Rolf Hennicker, Alexandre Madeira, Alexander Knapp |
| 2019 | A Logic-Based Incremental Approach to Graph Repair. Sven Schneider, Leen Lambers, Fernando Orejas |
| 2019 | Automatic Modeling of Opaque Code for JavaScript Static Analysis. Joonyoung Park, Alexander Jordan, Sukyoung Ryu |
| 2019 | Automatically Identifying Sufficient Object Builders from Module APIs. Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias |
| 2019 | Business Process Privacy Analysis in Pleak. Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom |
| 2019 | CLTestCheck: Measuring Test Effectiveness for GPU Kernels. Chao Peng, Ajitha Rajan |
| 2019 | Checking Observational Purity of Procedures. Himanshu Arora, Raghavan Komondoor, G. Ramalingam |
| 2019 | CoVeriTest: Cooperative Verifier-Based Testing. Dirk Beyer, Marie-Christine Jakobs |
| 2019 | DeepFault: Fault Localization for Deep Neural Networks. Hasan Ferit Eniser, Simos Gerasimou, Alper Sen |
| 2019 | Efficient Model Synchronization by Automatically Constructed Repair Processes. Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer |
| 2019 | Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. Li Huang, Eun-Young Kang |
| 2019 | 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 Reiner Hähnle, Wil M. P. van der Aalst |
| 2019 | Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2019 | KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs. Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata |
| 2019 | Metric Temporal Graph Logic over Typed Attributed Graphs. Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider |
| 2019 | Offline Delta-Driven Model Transformation with Dependency Injection. Artur Boronat |
| 2019 | Optimal and Automated Deployment for Microservices. Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
| 2019 | Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. Philip Zweihoff, Stefan Naujokat, Bernhard Steffen |
| 2019 | SL2SF: Refactoring Simulink to Stateflow. Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati |
| 2019 | SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen |
| 2019 | Software Assurance in an Uncertain World. Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi |
| 2019 | Structural and Nominal Cross-Language Clone Detection. Lawton Nichols, Mehmet Emre, Ben Hardekopf |
| 2019 | Tool Support for Correctness-by-Construction. Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson |
| 2019 | Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski |