ISoLA 2012: Heraklion, Crete, Greece

Adaptable and Evolving Software for Eternal Systems

Approaches for Mastering Change

Runtime Verification: The Application Perspective

Model-Based Testing and Model Inference

Learning Techniques for Software Verification and Validation

LearnLib Tutorial: From Finite Automata to Register Interface Programs

RERS Grey-Box Challenge 2012

maintained by Schloss Dagstuhl LZI at University of Trier