default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > FASE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fase/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2017
Marieke Huisman, Julia Rubin:
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10202, Springer 2017, ISBN 978-3-662-54493-8

Learning and Inference

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Wang0YP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Wang0YP17
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/fase/MontaghamiR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MontaghamiR17
Vajih Montaghami, Derek Rayside:
Bordeaux: A Tool for Thinking Outside the Box. 22-39

Test Selection

- view
  authority control:
- export record
  dblp key:
  - conf/fase/PhamKRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PhamKRR17
Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury:
Bucketing Failing Tests via Symbolic Analysis. 43-59
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SahaG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SahaG17
Ripon Saha, Milos Gligoric:
Selective Bisection Debugging. 60-77
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AraujoNN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AraujoNN17
Cristiano Werner Araújo, Ingrid Nunes, Daltro José Nunes:
On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. 78-95

Program and System Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/fase/KristensenM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KristensenM17
Erik Krogh Kristensen, Anders Møller:
Inference and Evolution of TypeScript Declaration Files. 99-115
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HuY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuY17
Raymond Hu, Nobuko Yoshida:
Explicit Connection Actions in Multiparty Session Types. 116-133
- view
  authority control:
- export record
  dblp key:
  - conf/fase/0002MRSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/0002MRSP17
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Change and Delay Contracts for Hybrid System Component Verification. 134-151
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AsenovG0O17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AsenovG0O17
Dimitar Asenov, Balz Guenat, Peter Müller, Martin Otth:
Precise Version Control of Trees with Line-Based Version Control Systems. 152-169

Graph Modelling and Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/fase/AlvinPM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AlvinPM17
Chris Alvin, Brian Peterson, Supratik Mukhopadhyay:
StaticGen: Static Generation of UML Sequence Diagrams. 173-190
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LeblebiciAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LeblebiciAS17
Erhan Leblebici, Anthony Anjorin, Andy Schürr:
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. 191-207
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ZschalerD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ZschalerD17
Steffen Zschaler, Francisco Durán:
GTS Families for the Flexible Composition of Graph Transformation Systems. 208-225
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SchneiderLO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SchneiderLO17
Sven Schneider, Leen Lambers, Fernando Orejas:
Symbolic Model Generation for Graph Properties. 226-243

Model Transformations

- view
  authority control:
- export record
  dblp key:
  - conf/fase/DiskinGC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DiskinGC17
Zinovy Diskin, Abel Gómez, Jordi Cabot:
Traceability Mappings as a Fundamental Instrument in Model Transformations. 247-263
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LaraRRGIPC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LaraRRGIPC17
Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado:
Reusing Model Transformations Through Typing Requirements Models. 264-282
- view
  authority control:
- export record
  dblp key:
  - conf/fase/TaentzerOLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/TaentzerOLR17
Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle:
Change-Preserving Model Repair. 283-299
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChengT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChengT17
Zheng Cheng, Massimo Tisi:
A Deductive Approach for Fault Localization in ATL Model Transformations. 300-317

Configuration and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Henda0LNSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Henda0LNSS17
Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd:
OpenSAW: Open Security Analysis Workbench. 321-337
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AydinPTFP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AydinPTFP17
Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia:
Visual Configuration of Mobile Privacy Policies. 338-355
- view
  authority control:
- export record
  dblp key:
  - conf/fase/UvaPRAF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/UvaPRAF17
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias:
Automated Workarounds from Java Program Specifications Based on SAT Solving. 356-373
- view
  authority control:
- export record
  dblp key:
  - conf/fase/RiescoAA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/RiescoAA17
Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae:
Slicing from Formal Semantics: Chisel. 374-378
- view
  authority control:
- export record
  dblp key:
  - conf/fase/DomenechGJS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DomenechGJS17
Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte:
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. 379-383

Software Product Lines

- view
  authority control:
- export record
  dblp key:
  - conf/fase/BeekVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BeekVW17
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking with mCRL2. 387-405
- view
  authority control:
- export record
  dblp key:
  - conf/fase/DimovskiW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DimovskiW17
Aleksandar S. Dimovski, Andrzej Wasowski:
Variability-Specific Abstraction Refinement for Family-Based Model Checking. 406-423
- view
  authority control:
- export record
  dblp key:
  - conf/fase/DamianiHKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DamianiHKL17
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. 424-441

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.