Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Marieke Huisman

    1. University of Twente , Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Julia Rubin

    1. University of British Columbia , Vancouver, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10202)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FASE 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Learning and Inference

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study

      • Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
      Pages 3-21

    3. Bordeaux: A Tool for Thinking Outside the Box

      • Vajih Montaghami, Derek Rayside
      Pages 22-39

  3. Test Selection

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Bucketing Failing Tests via Symbolic Analysis

      • Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
      Pages 43-59

    3. Selective Bisection Debugging

      • Ripon Saha, Milos Gligoric
      Pages 60-77

    4. On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study

      • Cristiano Werner Araújo, Ingrid Nunes, Daltro Nunes
      Pages 78-95

  4. Program and System Analysis

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Inference and Evolution of TypeScript Declaration Files

      • Erik Krogh Kristensen, Anders Møller
      Pages 99-115

    3. Explicit Connection Actions in Multiparty Session Types

      • Raymond Hu, Nobuko Yoshida
      Pages 116-133

    4. Change and Delay Contracts for Hybrid System Component Verification

      • Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
      Pages 134-151

    5. Precise Version Control of Trees with Line-Based Version Control Systems

      • Dimitar Asenov, Balz Guenat, Peter Müller, Martin Otth
      Pages 152-169

  5. Graph Modelling and Transformation

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. StaticGen: Static Generation of UML Sequence Diagrams

      • Chris Alvin, Brian Peterson, Supratik Mukhopadhyay
      Pages 173-190

    3. Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques

      • Erhan Leblebici, Anthony Anjorin, Andy Schürr
      Pages 191-207

    4. GTS Families for the Flexible Composition of Graph Transformation Systems

      • Steffen Zschaler, Francisco Durán
      Pages 208-225

    5. Symbolic Model Generation for Graph Properties

      • Sven Schneider, Leen Lambers, Fernando Orejas
      Pages 226-243

  6. Model Transformations

    1. Front Matter

      Pages 245-245
      Download chapter PDF

    2. Traceability Mappings as a Fundamental Instrument in Model Transformations

      • Zinovy Diskin, Abel Gómez, Jordi Cabot
      Pages 247-263
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines. 

Editors and Affiliations

  • University of Twente , Enschede, The Netherlands

    Marieke Huisman

  • University of British Columbia , Vancouver, Canada

    Julia Rubin

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation