Fundamental Approaches to Software Engineering

Saarbrücken, Germany, 26 March - 3 April, 2011


Accepted   Papers
Call for Papers
Important Dates
Invited Speaker
ETAPS 2011

Accepted Papers

Pepijn Crouzen and Frederic Lang.
Smart Reduction

Dominik Dietrich, Lutz Schröder and Ewaryst Schulz.
Formalizing and Operationalizing Industrial Standards

Adam Przybylek.
An empirical evaluation of the impact of AOP on software modularity

Denis Hatebur, Maritta Heisel, Jan Jürjens and Holger Schmidt.
Systematic Development of UMLsec - Design Models Based On Security Requirements

Qirun Zhang, Wujie Zheng and Michael R. Lyu.
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity

Mieke Massink, Diego Latella, Andrea Bracciali and Jane Hillston.
Modelling Non-linear Crowd Dynamics in Bio-PEPA

Lin Shi, Hao Zhong, Tao Xie and Mingshu Li.
An Empirical Study on Evolution of API Documentation

Pierre Kelsen, Qin Ma and Christian Glodt.
Models within Models: Taming Model Complexity using the Sub-Model Lattice

Jácome Cunha, Joost Visser, Tiago Alves and João Saraiva.
Type-safe Evolution of Spreadsheets

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne and Sylvain Peyronnet.
Uniform Monte-Carlo Model-Checking

Huiqing Li and Simon Thompson.
Incremental Code Clone Detection and Elimination for Erlang Programs

Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann and Jonathan de Halleux.
Retrofitting Unit Tests for Parameterized Unit Testing

José Luiz Fiadeiro and Antónia Lopes.
An Interface Theory for Service-Oriented Design

Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser and Darko Marinov.
Testing Container Classes: Random or Systematic?

Farn Wang, Jung-Hsuan Wu and Chung-Hao Huang.
Evolving a test oracle in black-box testing

Stéphanie Gatti, Emilie Balland and Charles Consel.
A Step-wise Approach for Integrating QoS throughout Software Development

Dongxiang Cai and Miryung Kim.
An Empirical Study of Long-Lived Code Clones

Amalinda Oertel, Jochen Hoenicke and Andreas Podelski.
rt-inconsistency: a new property for real-time requirements

Dries Vanoverberghe and Frank Piessens.
Theoretical aspects of Compositional Symbolic Execution

Hartmut Ehrig, Claudia Ermel and Gabriele Taentzer.
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications

Claudia Ermel, Jürgen Gall, Leen Lambers and Gabriele Taentzer.
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior

Jens Bendisposto and Michael Leuschel.
Automatic Flow Analysis for Event-B

Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig and Helmut Veith.
Seamless Testing for Models and Code

Shahram Esmaeilsabzali and Nancy Day.
Semantic Quality Attributes for Big-Step Modelling Languages

Juncao Li, Fei Xie, Thomas Ball and Vladimir Levin.
Model Checking Büchi Pushdown Systems

Tamim Khan and Reiko Heckel.
Model-Based Regression Testing of  Services Using Dependency Analysis of Visual Contracts

Oksana Tkachuk.
Automated Driver Generation for Analysis of Web Applications

Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum and Manuel Wimmer.
A Music-Inspired Approach for Design Defects Detection

Bashar Gharaibeh, Hridesh Rajan and J. Morris Chang.
Analyzing Software Updates: Should You Build  a Dynamic Updating Infrastructure?