20th FASE 2017: Uppsala, Sweden (Part of ETAPS 2017)

Learning and Inference

Test Selection

Program and System Analysis

Graph Modelling and Transformation

Model Transformations

Configuration and Synthesis

Software Product Lines

a service of Schloss Dagstuhl - Leibniz Center for Informatics