Skip to main content
SpringerLink
Log in
Book cover

Fundamental Approaches to Software Engineering

16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Vittorio Cortellessa

    1. Dipartimento di Informatica, Università dell’Aquila, Coppito, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dániel Varró

    1. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results in fundamental approaches to software engineering
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: FASE 2013.

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 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 (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Paper

    1. Variability in Software: State of the Art and Future Directions

      • Krzysztof Czarnecki
      Pages 1-5

  3. Model-Driven Engineering: Concepts

    1. Towards a Distributed Modeling Process Based on Composite Models

      • Daniel Strüber, Gabriele Taentzer, Stefan Jurack, Tim Schäfer
      Pages 6-20

    2. Change Propagation due to Uncertainty Change

      • Rick Salay, Jan Gorzny, Marsha Chechik
      Pages 21-36

    3. A Model-Based Synthesis Process for Choreography Realizability Enforcement

      • Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli
      Pages 37-52

    4. On Extracting Feature Models from Sets of Valid Feature Combinations

      • Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed
      Pages 53-67

  4. Verification and Validation 1

    1. On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets

      • Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner
      Pages 68-82

    2. Quality of Merge-Refactorings for Product Lines

      • Julia Rubin, Marsha Chechik
      Pages 83-98

  5. Software Comprehension

    1. Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs

      • Arbi Bouchoucha, Houari Sahraoui, Pierre L’Ecuyer
      Pages 99-113

    2. Discovering Branching Conditions from Business Process Execution Logs

      • Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos
      Pages 114-129

    3. Exposing Behavioral Differences in Cross-Language API Mapping Relations

      • Hao Zhong, Suresh Thummalapenta, Tao Xie
      Pages 130-145

  6. Verification and Validation 2

    1. Explicit-State Software Model Checking Based on CEGAR and Interpolation

      • Dirk Beyer, Stefan Löwe
      Pages 146-162

    2. Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks

      • John Lasseter, John Cipriano
      Pages 163-178

    3. Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification

      • Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett
      Pages 179-193

    4. Scenario Realizability with Constraint Optimization

      • Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
      Pages 194-209

  7. Analysis Tools

    1. Andromeda: Accurate and Scalable Security Analysis of Web Applications

      • Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
      Pages 210-225

    2. VerChor: A Framework for Verifying Choreographies

      • Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
      Pages 226-230

    3. Javanni: A Verifier for JavaScript

      • Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia
      Pages 231-234

  8. Model-Driven Engineering: Applications

    1. Model-Based Implementation of Parallel Real-Time Systems

      • Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
      Pages 235-249

    2. A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications

      • Wei Yang, Mukul R. Prasad, Tao Xie
      Pages 250-265
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.

Editors and Affiliations

  • Dipartimento di Informatica, Università dell’Aquila, Coppito, Italy

    Vittorio Cortellessa

  • Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

    Dániel Varró

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation