default search action
22nd FASE@ETAPS 2019: Prague, Czech Republic
- Reiner Hähnle, Wil M. P. van der Aalst
:
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. Lecture Notes in Computer Science 11424, Springer 2019, ISBN 978-3-030-16721-9
FASE Invited Talk
- Marsha Chechik
Software Assurance in an Uncertain World. 3-21
Software Verification I
- Tobias Runge, Ina Schaefer, Loek Cleophas
Tool Support for Correctness-by-Construction. 25-42 - Joonyoung Park
Automatic Modeling of Opaque Code for JavaScript Static Analysis. 43-60 - Min Zhang, Fu Song, Frédéric Mallet
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. 61-78 - Rolf Hennicker, Alexandre Madeira
A Hybrid Dynamic Logic for Event/Data-Based Systems. 79-97
Model-Driven Development and Model Transformation
- Philip Zweihoff, Stefan Naujokat
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. 101-115 - Lars Fritsche
Efficient Model Synchronization by Automatically Constructed Repair Processes. 116-133 - Artur Boronat
Offline Delta-Driven Model Transformation with Dependency Injection. 134-150 - Sven Schneider, Leen Lambers, Fernando Orejas:
A Logic-Based Incremental Approach to Graph Repair. 151-167
Software Verification II
- Hasan Ferit Eniser
DeepFault: Fault Localization for Deep Neural Networks. 171-191 - Aleksandar S. Dimovski
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. 192-209 - Li Huang, Eun-Young Kang
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. 210-227 - Himanshu Arora, Raghavan Komondoor, G. Ramalingam:
Checking Observational Purity of Procedures. 228-243
Software Evolution and Requirements Engineering
- Lawton Nichols, Mehmet Emre
Structural and Nominal Cross-Language Clone Detection. 247-263 - Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati:
SL2SF: Refactoring Simulink to Stateflow. 264-281 - Holger Giese, Maria Maximova, Lucas Sakizloglou
Metric Temporal Graph Logic over Typed Attributed Graphs. 282-298 - Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata:
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs. 299-305 - Aivo Toots, Reedik Tuuling, Maksym Yerokhin
Business Process Privacy Analysis in Pleak. 306-312
Specification, Design, and Implementation of Particular Classes of Systems
- Chao Peng, Ajitha Rajan:
CLTestCheck: Measuring Test Effectiveness for GPU Kernels. 315-331 - Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. 332-350 - Mario Bravetti, Saverio Giallorenzo
Optimal and Automated Deployment for Microservices. 351-368 - Paul Dubrulle
A Data Flow Model with Frequency Arithmetic. 369-385
Software Testing
- Dirk Beyer
CoVeriTest: Cooperative Verifier-Based Testing. 389-408 - Golnaz Gharachorlu
: Priority Aware Test Case Reduction. 409-426 - Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias:
Automatically Identifying Sufficient Object Builders from Module APIs. 427-444
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: