Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

  • Dimitra Giannakopoulou
  • Fernando Orejas
Conference proceedings FASE 2011

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Verification

    1. José Luiz Fiadeiro, Antónia Lopes
      Pages 18-33
    2. Amalinda Post, Jochen Hoenicke, Andreas Podelski
      Pages 34-49
    3. Jens Bendisposto, Michael Leuschel
      Pages 50-64
    4. Shahram Esmaeilsabzali, Nancy A. Day
      Pages 65-80
  4. Specification and Modelling

    1. Dominik Dietrich, Lutz Schröder, Ewaryst Schulz
      Pages 81-95
    2. Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
      Pages 96-110
  5. Reachability and Model Checking

    1. Pepijn Crouzen, Frédéric Lang
      Pages 111-126
    2. Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
      Pages 127-140
    3. Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
      Pages 141-155
  6. Model Driven Engineering

    1. Pierre Kelsen, Qin Ma, Christian Glodt
      Pages 171-185
    2. Jácome Cunha, Joost Visser, Tiago Alves, João Saraiva
      Pages 186-201
  7. Software Development for QoS

    1. Stéphanie Gatti, Emilie Balland, Charles Consel
      Pages 217-231
    2. Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt
      Pages 232-246
  8. Testing: Theory and New Trends

    1. Dries Vanoverberghe, Frank Piessens
      Pages 247-261
    2. Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
      Pages 262-277
    3. Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig et al.
      Pages 278-293
  9. Testing in Practice

    1. Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
      Pages 294-309
    2. Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang
      Pages 310-325
    3. Oksana Tkachuk, Sreeranga Rajan
      Pages 326-340
  10. Code Development and Analysis

    1. Huiqing Li, Simon Thompson
      Pages 356-370
    2. Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang
      Pages 371-385
    3. Qirun Zhang, Wujie Zheng, Michael R. Lyu
      Pages 386-400
    4. Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum, Manuel Wimmer
      Pages 401-415
  11. Empirical Studies

    1. Lin Shi, Hao Zhong, Tao Xie, Mingshu Li
      Pages 416-431
    2. Dongxiang Cai, Miryung Kim
      Pages 432-446
  12. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.  


QoS distributed systems genetic programming graph transformation implementation metrics model checking process algebra program analysis programming languages self-organization semantics software architectures software engineering software verification theorem proving

Editors and affiliations

  • Dimitra Giannakopoulou
    • 1
  • Fernando Orejas
    • 2
  1. 1.NASA Ames Research CenterCarnegie Mellon UniversityMoffett FieldUSA
  2. 2.Universitat Politècnica de CatalunyaBarcelonaSpain

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment