20. 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

maintained by Schloss Dagstuhl LZI at University of Trier