Abstract is missing.
- Software Assurance in an Uncertain WorldMarsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi. 3-21 [doi]
- Tool Support for Correctness-by-ConstructionTobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson. 25-42 [doi]
- Automatic Modeling of Opaque Code for JavaScript Static AnalysisJoonyoung Park, Alexander Jordan, Sukyoung Ryu. 43-60 [doi]
- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification LanguageMin Zhang 0002, Fu Song, Frédéric Mallet, Xiaohong Chen. 61-78 [doi]
- A Hybrid Dynamic Logic for Event/Data-Based SystemsRolf Hennicker, Alexandre Madeira, Alexander Knapp. 79-97 [doi]
- Pyro: Generating Domain-Specific Collaborative Online Modeling EnvironmentsPhilip Zweihoff, Stefan Naujokat, Bernhard Steffen. 101-115 [doi]
- Efficient Model Synchronization by Automatically Constructed Repair ProcessesLars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer. 116-133 [doi]
- Offline Delta-Driven Model Transformation with Dependency InjectionArtur Boronat. 134-150 [doi]
- A Logic-Based Incremental Approach to Graph RepairSven Schneider, Leen Lambers, Fernando Orejas. 151-167 [doi]
- DeepFault: Fault Localization for Deep Neural NetworksHasan Ferit Eniser, Simos Gerasimou, Alper Sen 0001. 171-191 [doi]
- Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTLAleksandar S. Dimovski, Axel Legay, Andrzej Wasowski. 192-209 [doi]
- Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive SystemLi Huang, Eun-Young Kang 0001. 210-227 [doi]
- Checking Observational Purity of ProceduresHimanshu Arora, Raghavan Komondoor, G. Ramalingam. 228-243 [doi]
- Structural and Nominal Cross-Language Clone DetectionLawton Nichols, Mehmet Emre, Ben Hardekopf. 247-263 [doi]
- SL2SF: Refactoring Simulink to StateflowStephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati. 264-281 [doi]
- Metric Temporal Graph Logic over Typed Attributed GraphsHolger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider. 282-298 [doi]
- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C ProgramsJiaqi Qian, Min Zhang 0002, Yi Wang, Kazuhiro Ogata 0001. 299-305 [doi]
- Business Process Privacy Analysis in PleakAivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom. 306-312 [doi]
- CLTestCheck: Measuring Test Effectiveness for GPU KernelsChao Peng, Ajitha Rajan. 315-331 [doi]
- Implementing SOS with Active Objects: A Case Study of a Multicore Memory SystemNikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka-I Pun, Silvia Lizeth Tapia Tarifa. 332-350 [doi]
- Optimal and Automated Deployment for MicroservicesMario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. 351-368 [doi]
- A Data Flow Model with Frequency ArithmeticPaul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise. 369-385 [doi]
- CoVeriTest: Cooperative Verifier-Based TestingDirk Beyer 0001, Marie-Christine Jakobs. 389-408 [doi]
- : Priority Aware Test Case ReductionGolnaz Gharachorlu, Nick Sumner. 409-426 [doi]
- Automatically Identifying Sufficient Object Builders from Module APIsPablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias. 427-444 [doi]