default search action
14. FASE 2011: Saarbrücken, Germany (Part of ETAPS 2011)
- Dimitra Giannakopoulou, Fernando Orejas
:
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 J. 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
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
Formalizing and Operationalizing Industrial Standards. 81-95 - Mieke Massink
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
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
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
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? 371-385 - Qirun Zhang
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: