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
Copyright © Mon Mar 15 04:00:59 2010
by Michael Ley (ley@uni-trier.de)
