ETAPS-logo

FASE'11
Fundamental Approaches to Software Engineering

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





 

Accepted   Papers
Description
Call for Papers
Submission
Important Dates
Invited Speaker
Committees
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?