Programme of MBT at ETAPS 2008
Sunday, March 30, room: Room IV.
09:15 - 10:30 SESSION 1
- Opening session
- Opening and Welcome
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
- Invited Talk: Using Model-Based Testing for Quality Assurance of Protocol Documentation
- Wolfgang Grieskamp
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
- Session 2
- Verifying Test-Hypotheses - An Experiment in Test and Proof
- Achim D. Brucker, Lukas Brügger, and Burkhart Wolff
- j-POST: a Java Tool-chain for Property-Oriented Software Testing
- Yliés Falcone, Laurent Mounier, Jean-Claude Fernandez and Jean-Luc Richier
- A Lightweight Approach for the Semantic Validation of Model Refinements
- Claudia Pons and Diego Garcia
12:30 - 14:00 Lunch
14:30 - 16:00 SESSION 3
- Session 3
- Improving Fault-based Conformance Testing
- Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa
- Cooperative Testing of Uncontrollable Timed Systems
- Alexandre David, Kim G. Larsen, Shuhao Li, and Brian Nielsen
- Model-based Security Testing using UMLsec. A case-study
- Jan Jürjens
16:00 - 16:30 Coffee
16:30 - 18:15 SESSION 4
- Session 4
- Invited Talk: Coverage-Biased Random Exploration of Large Models
- Marie-Claude Gaudel
Detailed Programme Information:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13