Abstract is missing.
- A Formal Framework for Incremental Model SlicingGabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter. 3-20 [doi]
- Multiple Model Synchronization with Multiary Delta LensesZinovy Diskin, Harald König, Mark Lawford. 21-37 [doi]
- Controlling the Attack Surface of Object-Oriented RefactoringsSebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau. 38-55 [doi]
- Effective Analysis of Attack Trees: A Model-Driven ApproachRajesh Kumar 0012, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga. 56-73 [doi]
- ROLA: A New Distributed Transaction Protocol and Its Formal AnalysisSi Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer. 77-93 [doi]
- A Process Network Model for Reactive Streaming Software with Deterministic Task ParallelismFotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo. 94-110 [doi]
- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical SystemsMárton Búr, Gábor Szilágyi, András Vörös, Dániel Varró. 111-128 [doi]
- EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected StatesJoonyoung Park, Kwangwon Sun, Sukyoung Ryu. 129-145 [doi]
- Hierarchical Specification and Verification of Architectural Design PatternsDiego Marmsoler. 149-168 [doi]
- Supporting Verification-Driven Incremental Distributed Design of ComponentsClaudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi. 169-188 [doi]
- Summarizing Software API Usage Examples Using Clustering TechniquesNikolaos Katirtzis, Themistoklis Diamantopoulos, Charles A. Sutton. 189-206 [doi]
- Fast Computation of Arbitrary Control DependenciesJean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. 207-224 [doi]
- Iterative Generation of Diverse Models for Testing Specifications of DSL ToolsOszkár Semeráth, Dániel Varró. 227-245 [doi]
- Optimising Spectrum Based Fault Localisation for Single Fault Programs Using SpecificationsDavid Landsberg, Youcheng Sun, Daniel Kroening. 246-263 [doi]
- TCM: Test Case Mutation to Improve Crash Detection in AndroidYavuz Köroglu, Alper Sen 0001. 264-280 [doi]
- CRETE: A Versatile Binary-Level Concolic Testing FrameworkBo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie. 281-298 [doi]
- Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\)Aleksandar S. Dimovski. 301-318 [doi]
- FPH: Efficient Non-commutativity Analysis of Feature-Based SystemsMarsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin. 319-336 [doi]
- Taming Multi-Variability of Software Product Line TransformationsDaniel Strüber 0001, Sven Peldszus, Jan Jürjens. 337-355 [doi]