15. FASE 2012: Tallinn, Estonia (Part of ETAPS 2012)

Juan de Lara, Andrea Zisman (Eds.): Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Lecture Notes in Computer Science 7212 Springer 2012, ISBN 978-3-642-28871-5

Invited Talk

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/Aalst12
- ask others
Wil M. P. van der Aalst: Distributed Process Discovery and Conformance Checking. 1-25

Software Architecture and Components

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/RuscioMMPP12
- ask others
Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Model-Driven Techniques to Enhance Architectural Languages Interoperability. 26-42
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BauerDHLLNW12
- ask others
Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Moving from Specifications to Contracts in Component-Based Design. 43-58
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BaeOMA12
- ask others
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem: The SynchAADL2Maude Tool. 59-62

Services

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/FiadeiroL12
- ask others
José Luiz Fiadeiro, Antónia Lopes: Consistency of Service Composition. 63-77
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/EckhardtMAMW12
- ask others
Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stable Availability under Denial of Service Attacks through Formal Patterns. 78-93
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/NaujokatLS12
- ask others
Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen: Loose Programming with PROPHETS. 94-98

Verification and Monitoring

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/Kahlon12
- ask others
Vineet Kahlon: Schedule Insensitivity Reduction. 99-114
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/HatvaniPS12
- ask others
Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu: Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. 115-129
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/AlbertBGHR12
- ask others
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez: Verified Resource Guarantees for Heap Manipulating Programs. 130-145
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/MaggiMA12
- ask others
Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst: An Operational Decision Support Framework for Monitoring Business Constraints. 146-162

Intermodelling and Model Transformations

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/DiskinMC12
- ask others
Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki: Intermodeling, Queries, and Kleisli Categories. 163-177
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/HermannEEO12
- ask others
Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. 178-193
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BradfieldS12
- ask others
Julian C. Bradfield, Perdita Stevens: Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. 194-208
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/MolRH12
- ask others
Maarten de Mol, Arend Rensink, James J. Hunt: Graph Transforming Java Data. 209-223

Modelling and Adaptation

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/SalayFC12
- ask others
Rick Salay, Michalis Famelis, Marsha Chechik: Language Independent Refinement Using Partial Modeling. 224-239
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BruniCGLV12
- ask others
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: A Conceptual Framework for Adaptation. 240-254

Product Lines and Feature-Oriented Programming

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/ThumSKAS12
- ask others
Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake: Applying Design by Contract to Feature-Oriented Programming. 255-269
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/ShiCD12
- ask others
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer: Integration Testing of Software Product Lines Using Compositional Symbolic Execution. 270-284
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/RubinC12
- ask others
Julia Rubin, Marsha Chechik: Combining Related Products into Product Lines. 285-300

Development Process

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/MauczkaHSSBG12
- ask others
Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart, Thomas Grechenig: Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages. 301-315
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BarrBRHGD12
- ask others
Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. Germán, Premkumar T. Devanbu: Cohesive and Isolated Development with Branches. 316-331
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/GuimaraesS12
- ask others
Mário Luís Guimarães, António Rito Silva: Making Software Integration Really Continuous. 332-346
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BecceMRS12
- ask others
Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro: Extracting Widget Descriptions from GUIs. 347-361

Verification and Synthesis

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/LongCMM12
- ask others
Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer: Language-Theoretic Abstraction Refinement. 362-376
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/AlrajehKRU12
- ask others
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning from Vacuously Satisfiable Scenario-Based Specifications. 377-393
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/ErwigG12
- ask others
Martin Erwig, Rahul Gopinath: Explanations for Regular Expressions. 394-408

Testing and Maintenance

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/StaatsGWH12
- ask others
Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl: On the Danger of Coverage Directed Test Case Generation. 409-424
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/UsaolaML12
- ask others
Macario Polo Usaola, Pedro Reales Mateo, Beatriz Pérez Lamancha: Reduction of Test Suites Using Mutation. 425-438
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/TrikiLBDB12
- ask others
Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella: Model-Based Filtering of Combinatorial Test Suites. 439-454
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/MahouachiKG12
- ask others
Rim Mahouachi, Marouane Kessentini, Khaled Ghédira: A New Design Defects Classification: Marrying Detection and Correction. 455-470

Slicing and Refactoring

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/AbadiEF12
- ask others
Aharon Abadi, Ran Ettinger, Yishai A. Feldman: Fine Slicing - Theory and Applications for Computation Extraction. 471-485
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/SilvaTT12
- ask others
Josep Silva, Salvador Tamarit, César Tomás: System Dependence Graphs in Sequential Erlang. 486-500
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/LiT12
- ask others
Huiqing Li, Simon J. Thompson: A Domain-Specific Language for Scripting Refactorings in Erlang. 501-515