Abstract is missing.
- Probabilistic Model Checking and Non-standard Multi-objective ReasoningChristel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich. 1-16 [doi]
- Target Oriented Relational Model FindingAlcino Cunha, Nuno Macedo, Tiago Guimarães. 17-31 [doi]
- Bidirectionally Tolerating Inconsistency: Partial TransformationsPerdita Stevens. 32-46 [doi]
- Splitting Models Using Information Retrieval and Model Crawling TechniquesDaniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik. 47-62 [doi]
- Sound Merging and Differencing for Class DiagramsUli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski. 63-78 [doi]
- Heterogeneous and Asynchronous Networks of Timed SystemsJosé Luiz Fiadeiro, Antónia Lopes. 79-93 [doi]
- Family-Based Performance Analysis of Variant-Rich Software SystemsMatthias Kowal, Ina Schaefer, Mirco Tribastone. 94-108 [doi]
- TouchCost: Cost Analysis of TouchDevelop ScriptsPietro Ferrara, Daniel Schweizer, Lucas Brutschy. 109-124 [doi]
- Efficient Incremental Static Analysis Using Path AbstractionRashmi Mudduluru, Murali Krishna Ramanathan. 125-139 [doi]
- Type-Based Taint Analysis for Java Web ApplicationsWei Huang, Yao Dong, Ana Milanova. 140-154 [doi]
- Mining the Categorized Software Repositories to Improve the Analysis of Security VulnerabilitiesAlireza Sadeghi, Naeem Esfahani, Sam Malek. 155-169 [doi]
- Modularizing Early Architectural Assumptions in Scenario-Based RequirementsDimitri Van Landuyt, Wouter Joosen. 170-184 [doi]
- Semantically Configurable Analysis of Scenario-Based SpecificationsBarak Cohen, Shahar Maoz. 185-199 [doi]
- Formal Verification of Medical Device User Interfaces Using PVSPaolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby. 200-214 [doi]
- Sound Control Flow Graph Extraction from Incomplete Java Bytecode ProgramsPedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov. 215-229 [doi]
- Verifying Class Invariants in Concurrent ProgramsMarina Zaharieva-Stojanovski, Marieke Huisman. 230-245 [doi]
- Automatic Program Repair by Fixing ContractsYu Pei 0001, Carlo A. Furia, Martin Nordio, Bertrand Meyer. 246-260 [doi]
- Dynamic Package InterfacesShahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey. 261-275 [doi]
- SMT-Based Checking of SOLOIST over Sparse TracesMarcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro. 276-290 [doi]
- An Online Validator for Provenance: Algorithmic Design, Testing, and APILuc Moreau, Trung Dong Huynh, Danius T. Michaelides. 291-305 [doi]
- Comparator: A Tool for Quantifying Behavioural CompatibilityMeriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel. 306-309 [doi]
- Transformation of Attributed Structures with CloningDominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro. 310-324 [doi]
- Implementing Graph Transformations in the Bulk Synchronous Parallel ModelChristian Krause, Matthias Tichy, Holger Giese. 325-339 [doi]
- Modularizing Triple Graph Grammars Using Rule RefinementAnthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr. 340-354 [doi]
- Polymorphic Single-Pushout Graph TransformationMichael Löwe, Harald König, Christoph Schulz. 355-369 [doi]
- Causal-Consistent Reversible DebuggingElena Giachino, Ivan Lanese, Claudio Antares Mezzina. 370-384 [doi]
- An Expressive Semantics of MockingJosef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes. 385-399 [doi]
- Integration Testing in the Test Template FrameworkMaximiliano Cristiá, Joaquín Mesuro, Claudia S. Frydman. 400-414 [doi]
- Data Flow Coverage for Circus-Based TestingAna Cavalcanti, Marie-Claude Gaudel. 415-429 [doi]