Invited Talk |
The Dependability of Complex Socio-technical Systems / Ross Anderson |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker |
Verification |
An Interface Theory for Service-Oriented Design / José Luiz Fiadeiro ; Antónia Lopes |
rt-Inconsistency: A New Property for Real-Time Requirements / Amalinda Post ; Jochen Hoenicke ; Andreas Podelski |
Automatic Flow Analysis for Event-B / Jens Bendisposto ; Michael Leuschel |
Semantic Quality Attributes for Big-Step Modelling Languages / Shahram Esmaeilsabzali ; Nancy A. Day |
Specification and Modelling |
Formalizing and Operationalizing Industrial Standards / Dominik Dietrich ; Lutz Schröder ; Ewaryst Schulz |
Modelling Non-linear Crowd Dynamics in Bio-PEPA / Mieke Massink ; Diego Latella ; Andrea Bracciali ; Jane Hillston |
Reachability and Model Checking |
Smart Reduction / Pepijn Crouzen ; Frédéric Lang |
Uniform Monte-Carlo Model Checking / Johan Oudinet ; Alain Denise ; Marie-Claude Gaudel ; Richard Lassaigne ; Sylvain Peyronnet |
Model Checking Büchi Pushdown Systems / Juncao Li ; Fei Xie ; Thomas Ball ; Vladimir Levin |
Model Driven Engineering |
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior / Claudia Ermel ; Jürgen Gall ; Leen Lambers ; Gabriele Taentzer |
Models within Models: Taming Model Complexity Using the Sub-model Lattice / Pierre Kelsen ; Qin Ma ; Christian Glodt |
Type-Safe Evolution of Spreadsheets / Jácome Cunha ; Joost Visser ; Tiago Alves ; João Saraiva |
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications / Hartmut Ehrig |
Software Development for QoS |
A Step-Wise Approach for Integrating QoS throughout Software Development / Stéphanie Gatti ; Emilie Balland ; Charles Consel |
Systematic Development of UMLsec Design Models Based on Security Requirements / Denis Hatebur ; Maritta Heisel ; Jan Jürjens ; Holger Schmidt |
Testing: Theory and New Trends |
Theoretical Aspects of Compositional Symbolic Execution / Dries Vanoverberghe ; Frank Piessens |
Testing Container Classes: Random or Systematic? / Rohan Sharma ; Milos Gligoric ; Andrea Arcuri ; Gordon Fraser ; Darko Marinov |
Seamless Testing for Models and Code / Andreas Holzer ; Visar Januzaj ; Stefan Kugele ; Boris Langer ; Christian Schallhart ; Michael Tautschnig ; Helmut Veith |
Testing in Practice |
Retrofitting Unit Tests for Parameterized Unit Testing / Suresh Thummalapenta ; Madhuri R. Marri ; Tao Xie ; Nikolai Tillmann ; Jonathan de Halleux |
Evolving a Test Oracle in Black-Box Testing / Farn Wang ; Jung-Hsuan Wu ; Chung-Hao Huang ; Kai-Hsiang Chang |
Automated Driver Generation for Analysis of Web Applications / Oksana Tkachuk ; Sreeranga Rajan |
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts / Tamim Ahmed Khan ; Reiko Heckel |
Code Development and Analysis |
Incremental Clone Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson |
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? / Bashar Gharaibeh ; Hridesh Rajan ; J. Morris Chang |
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity / Qirun Zhang ; Wujie Zheng ; Michael R. Lyu |
Search-Based Design Defects Detection by Example / Marouane Kessentini ; Houari Sahraoui ; Mounir Boukadoum ; Manuel Wimmer |
Empirical Studies |
An Empirical Study on Evolution of API Documentation / Lin Shi ; Hao Zhong ; Mingshu Li |
An Empirical Study of Long-Lived Code Clones / Dongxiang Cai ; Miryung Kim |
Where the Truth Lies: AOP and Its Impact on Software Modularity / Adam Przybylek |
Author Index |
Invited Talk |
The Dependability of Complex Socio-technical Systems / Ross Anderson |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker |
Verification |
An Interface Theory for Service-Oriented Design / José Luiz Fiadeiro ; Antónia Lopes |
rt-Inconsistency: A New Property for Real-Time Requirements / Amalinda Post ; Jochen Hoenicke ; Andreas Podelski |