12. FASE 2009: York, UK (Part of ETAPS 2009)

Marsha Chechik, Martin Wirsing (Eds.): Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5503 Springer 2009, ISBN 978-3-642-00592-3

Allan Clark, Stephen Gilmore, Mirco Tribastone:
Scalable Analysis of Scalable Systems. 1-17

Model-Driven Development

Artur Boronat, Reiko Heckel, José Meseguer:
Rewriting Logic Semantics and Verification of Model Transformations. 18-33
Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen:
Confluence in Domain-Independent Product Line Transformations. 34-48
Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse:
Object Flow Definition for Refined Activity Diagrams. 49-63
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. 64-78

Synthesis and Adaptation

Hillel Kugler, Cory Plock, Amir Pnueli:
Controller Synthesis from LSC Requirements. 79-93
Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface Generation and Compositional Verification in JavaPathfinder. 94-108
Guido Wachsmuth:
A Formal Way from Text to Code Templates. 109-123
Marco Autili, Paolo Di Benedetto, Paola Inverardi:
Context-Aware Adaptive Services: The PLASTIC Approach. 124-139

Modeling

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond:
Synchronous Modeling and Validation of Priority Inheritance Schedulers. 140-154
Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng:
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. 155-170

Testing and Debugging

Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov:
Reducing the Costs of Bounded-Exhaustive Testing. 171-185
Kathryn E. Gray, Alan Mycroft:
Logical Testing. 186-200
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy-Based Replay of Concurrent Programs. 201-215

Model Analysis

Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt:
Control Dependence for Extended Finite State Machines. 216-230
K. Rustan M. Leino, Ronald Middelkoop:
Proving Consistency of Pure Methods and Model Fields. 231-245
Piotr Kosiuczenko:
On the Implementation of @pre. 246-261
Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura:
Formal Specification and Analysis of Timing Properties in Software Systems. 262-277

Patterns

Paolo Bottoni, Esther Guerra, Juan de Lara:
Formal Foundation for Pattern-Based Modelling. 278-293
Alexander Fülleborn, Klaus Meffert, Maritta Heisel:
Problem-Oriented Documentation of Design Patterns. 294-308

Security

Iman Narasamdya, Michaël Périn:
Certification of Smart-Card Applications in Common Criteria. 309-324
Frank Hermann, Hartmut Ehrig, Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. 325-339
Marieke Huisman, Alejandro Tamalet:
A Formal Connection between Security Automata and JML Annotations. 340-354

Queries and Error Handling

William N. Sumner, Xiangyu Zhang:
Algorithms for Automatically Computing the Causal Paths of Failures. 355-369
Mithun Acharya, Tao Xie:
Mining API Error-Handling Specifications from Source Code. 370-384
Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen:
SNIFF: A Search Engine for Java Using Free-Form Queries. 385-400
Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. 401-416

Tools (Demos) and Program Analysis

Achim D. Brucker, Burkhart Wolff:
hol-TestGen. 417-420
Radu Calinescu, Marta Z. Kwiatkowska:
CADS*: Computer-Aided Development of Self-* Systems. 421-424
Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. 425-439
Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection. 440-455
Ondrej Sery:
Enhanced Property Specification and Verification in BLAST. 456-469
Laura Kovács, Andrei Voronkov:
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. 470-485