FASE 2017 accepted papers

Jingyi Wang, Jun Sun, Qixia Yuan and Jun Pang. Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study

Van-Thuan Pham, Sakaar Khurana, Subhajit Roy and Abhik Roychoudhury. Bucketing Failing Tests via Symbolic Analysis

Christopher Alvin, Supratik Mukhopadhyay and Brian Peterson. StaticGen: Static Generation of UML Sequence Diagrams

Erik Krogh Kristensen and Anders Møller. Inference and Evolution of TypeScript Declaration Files

Raymond Hu and Nobuko Yoshida. Explicit Connection Actions in Multiparty Session Types

Steffen Zschaler and Francisco Durán. GTS Families for the Flexible Composition of Graph Transformation Systems

Zinovy Diskin, Abel Gómez-Llana and Jordi Cabot. Traceability Mappings as a Fundamental Instrument in Model Transformations

Juan De Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio and Jesús Sánchez Cuadrado. Reusing Model Transformations through Typing Requirement Models

Zheng Cheng and Massimo Tisi. A deductive approach for fault localization in ATL model transformations

Aleksandar S. Dimovski and Andrzej Wasowski. Variability-specific Abstraction Refinement for Family-based Model Checking

Cristiano Araújo, Ingrid Nunes and Daltro Nunes. On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study

Dimitar Asenov, Balz Guenat, Peter Müller and Martin Otth. Precise Version Control of Trees with Line-based Version Control Systems

Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo and Adrian Rutle. Change-preserving model repair

Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen and Oskar Segersvärd. OpenSAW: Open Security Analysis Workbench

Adrian Riesco, Irina Mariuca Asavoae and Mihail Asavoae. Slicing from Formal Semantics: Chisel

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan and Michael Lienhardt. A Unified and Formal Programming Model for Deltas and Traits

Vajih Montaghami and Derek Rayside. Bordeaux: a tool for thinking outside the box

Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara and Marco Pistoia. Visual Configuration of Mobile Privacy Policies

Marcelo Ariel Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre and Marcelo Frias. Automated Workarounds from Java Program Specifications based on SAT Solving

Ripon Saha and Milos Gligoric. Selective Bisection Debugging

Maurice H. Ter Beek, Erik De Vink and Tim Willemse. Family-Based Model Checking with mCRL2

Sven Schneider, Leen Lambers and Fernando Orejas. Symbolic Model Generation for Graph Properties

Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and André Platzer. Change and Delay Contracts for Hybrid System Component Verification

Erhan Leblebici, Anthony Anjorin and Andy Schürr. Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques

Jesus Doménech, Samir Genaim, Einar Broch Johnsen and Rudolf Schlatte. EasyInterface: A toolkit for the rapid development of GUIs for research prototype tools