Electronic Notes in Theoretical Computer Science, Volume 220

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