14. FASE 2011: Saarbrücken, Germany (Part of ETAPS 2011)

Dimitra Giannakopoulou, Fernando Orejas (Eds.): 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. Lecture Notes in Computer Science 6603 Springer 2011, ISBN 978-3-642-19810-6

Invited Talk

Ross Anderson:
The Dependability of Complex Socio-technical Systems. 1
Lu Feng, Marta Z. Kwiatkowska, David Parker:
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. 2-17

Verification

José Luiz Fiadeiro, Antónia Lopes:
An Interface Theory for Service-Oriented Design. 18-33
Amalinda Post, Jochen Hoenicke, Andreas Podelski:
rt-Inconsistency: A New Property for Real-Time Requirements. 34-49
Jens Bendisposto, Michael Leuschel:
Automatic Flow Analysis for Event-B. 50-64
Shahram Esmaeilsabzali, Nancy A. Day:
Semantic Quality Attributes for Big-Step Modelling Languages. 65-80

Specification and Modelling

Dominik Dietrich, Lutz Schröder, Ewaryst Schulz:
Formalizing and Operationalizing Industrial Standards. 81-95
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston:
Modelling Non-linear Crowd Dynamics in Bio-PEPA. 96-110

Reachability and Model Checking

Pepijn Crouzen, Frédéric Lang:
Smart Reduction. 111-126
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet:
Uniform Monte-Carlo Model Checking. 127-140
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin:
Model Checking Büchi Pushdown Systems. 141-155

Model Driven Engineering

Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer:
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. 156-170
Pierre Kelsen, Qin Ma, Christian Glodt:
Models within Models: Taming Model Complexity Using the Sub-model Lattice. 171-185
Jácome Cunha, Joost Visser, Tiago L. Alves, João Saraiva:
Type-Safe Evolution of Spreadsheets. 186-201
Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer:
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. 202-216

Software Development for QoS

Stéphanie Gatti, Emilie Balland, Charles Consel:
A Step-Wise Approach for Integrating QoS throughout Software Development. 217-231
Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt:
Systematic Development of UMLsec Design Models Based on Security Requirements. 232-246

Testing: Theory and New Trends

Dries Vanoverberghe, Frank Piessens:
Theoretical Aspects of Compositional Symbolic Execution. 247-261
Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov:
Testing Container Classes: Random or Systematic? 262-277
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith:
Seamless Testing for Models and Code. 278-293

Testing in Practice

Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Retrofitting Unit Tests for Parameterized Unit Testing. 294-309
Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang:
Evolving a Test Oracle in Black-Box Testing. 310-325
Oksana Tkachuk, Sreeranga P. Rajan:
Automated Driver Generation for Analysis of Web Applications. 326-340
Tamim Ahmed Khan, Reiko Heckel:
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. 341-355

Code Development and Analysis

Huiqing Li, Simon J. Thompson:
Incremental Clone Detection and Elimination for Erlang Programs. 356-370
Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang:
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? 371-385
Qirun Zhang, Wujie Zheng, Michael R. Lyu:
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity. 386-400
Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Manuel Wimmer:
Search-Based Design Defects Detection by Example. 401-415

Empirical Studies

Lin Shi, Hao Zhong, Tao Xie, Mingshu Li:
An Empirical Study on Evolution of API Documentation. 416-431
Dongxiang Cai, Miryung Kim:
An Empirical Study of Long-Lived Code Clones. 432-446
Adam Przybylek:
Where the Truth Lies: AOP and Its Impact on Software Modularity. 447-461

Last update Fri May 25 08:13:59 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page