Volume 220, Number 1, December 2008

Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008)

• 
  Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. 1
• 
  Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet: Coverage-biased Random Exploration of Models. 3-14
• 
  Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Verifying Test-Hypotheses: An Experiment in Test and Proof. 15-27
• 
  Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier: j-POST: a Java Toolchain for Property-Oriented Software Testing. 29-41
• 
  Claudia Pons, Diego García: A Lightweight Approach for the Semantic Validation of Model Refinements. 43-61
• 
  Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa: Improving Fault-based Conformance Testing. 63-77
• 
  Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. 79-92
• 
  Jan Jürjens: Model-based Security Testing Using UMLsec: A Case Study. 93-104

Volume 220, Number 2, December 2008

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008)

• 
  Ivana Cerná, Gerald Lüttgen: Preface. 1-2
• 
  Henri E. Bal, Kees Verstoep: Large-Scale Parallel Computing on Grids. 3-17
• 
  Jaco van de Pol, Michael Weber: A Multi-Core Solver for Parity Games. 19-34
• 
  Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol: Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. 35-50
• 
  Radek Pelánek, Václav Rosecký, Pavel Moravec: Complementarity of Error Detection Techniques. 51-65
• 
  Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: A Case Study in Parallel Verification of Component-Based Systems. 67-83

Volume 220, Number 3, December 2008

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)

• 
  Alessandro Aldini, Christel Baier: Preface. 1-3
• 
  Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-Based Probabilistic Predicate Abstraction in PRISM. 5-21
• 
  Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky: Relational Analysis and Precision via Probabilistic Abstract Interpretation. 23-42
• 
  Michael J. A. Smith: Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. 43-59
• 
  Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. 61-77
• 
  Evan Tzanis, Robin Hirsch: Probabilistic Logic over Paths. 79-96
• 
  Jonathan M. Lambert, James F. Power: Platform Independent Timing of Java Virtual Machine Bytecode Instructions. 97-113
• 
  Jinjin Zhang, Zhaohui Zhu: A Behavioural Pseudometric based on lambda-Bisimilarity. 115-127
• 
  Nikola Trcka, Sonja Georgievska: Branching Bisimulation Congruence for Probabilistic Systems. 129-143
• 
  Claudio Ochoa, Germán Puebla: Oracle-Based Partial Evaluation. 145-161
• 
  Luca Bortolussi: On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. 163-180
• 
  Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath: Modelling Intracellular Fate of FGF Receptors With BioAmbients. 181-197