Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

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

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)

Conference series link(s): FASE: International Conference on Fundamental Approaches to Software Engineering

Conference proceedings info: FASE 2013.

Sections

Buy it now

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

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

Table of contents (26 papers)

  1. Front Matter

    PDF

  2. Invited Paper

  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

    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
Back to top

Other Volumes

  1. Fundamental Approaches to Software Engineering

Back to top

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.
Back to top

Keywords

Back to top

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ó

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation