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 BibTeX

Allan Clark, Stephen Gilmore, Mirco Tribastone:
Scalable Analysis of Scalable Systems. 1-17
Electronic Edition (link) BibTeX

Model-Driven Development

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

Synthesis and Adaptation

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

Modeling

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond:
Synchronous Modeling and Validation of Priority Inheritance Schedulers. 140-154
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

Testing and Debugging

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

Model Analysis

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

Patterns

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

Security

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

Queries and Error Handling

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

Tools (Demos) and Program Analysis

Achim D. Brucker, Burkhart Wolff:
hol-TestGen. 417-420
Electronic Edition (link) BibTeX
Radu Calinescu, Marta Z. Kwiatkowska:
CADS*: Computer-Aided Development of Self-* Systems. 421-424
Electronic Edition (link) BibTeX
Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. 425-439
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Ondrej Serý:
Enhanced Property Specification and Verification in BLAST. 456-469
Electronic Edition (link) BibTeX
Laura Kovács, Andrei Voronkov:
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. 470-485
Electronic Edition (link) BibTeX