5. FMCO 2006: Amsterdam, The Netherlands

Testing

• Lars Frantzen, Jan Tretmans:
  Model-Based Testing of Environmental Conformance of Components. 1-25
  Electronic Edition (link) BibTeX
• Cyrille Artho, Armin Biere, Shinichi Honiden:
  Exhaustive Testing of Exception Handlers with Enforcer. 26-46
  Electronic Edition (link) BibTeX
• Bertrand Jeannet, Thierry Jéron, Vlad Rusu:
  Model-Based Test Selection for Infinite-State Reactive Systems. 47-69
  Electronic Edition (link) BibTeX

Program Verification

• Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt:
  Verifying Object-Oriented Programs with KeY: A Tutorial. 70-101
  Electronic Edition (link) BibTeX
• Marjan Sirjani:
  Rebeca: Theory, Applications, and Tools. 102-126
  Electronic Edition (link) BibTeX
• Martin Leucker:
  Learning Meets Verification. 127-151
  Electronic Edition (link) BibTeX

Trust and Security

• Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet:
  JACK - A Tool for Validation of Security and Behaviour of Java Applications. 152-174
  Electronic Edition (link) BibTeX
• Vladimiro Sassone, Karl Krukow, Mogens Nielsen:
  Towards a Formal Framework for Computational Trust. 175-184
  Electronic Edition (link) BibTeX

Models of Computation

• Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia:
  On Recursion, Replication and Scope Mechanisms in Process Calculi. 185-206
  Electronic Edition (link) BibTeX
• Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida:
  Bounded Session Types for Object Oriented Languages. 207-245
  Electronic Edition (link) BibTeX

Distributed Programming

• Bill Donkervoet, Gul Agha:
  Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. 246-265
  Electronic Edition (link) BibTeX
• Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
  Links: Web Programming Without Tiers. 266-296
  Electronic Edition (link) BibTeX