Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Proceedings of the Fourth Workshop on Model Based Testing
MBT-2008, 2008.

@proceedings{MBT-2008,
	editor        = "Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 1,
	title         = "{Proceedings of the Fourth Workshop on Model Based Testing}",
	volume        = 220,
	year          = 2008,
}

Contents (7 items)

4 ×#testing
2 ×#modelling

MBT-2008-GaudelDGLOP #modelling #random

Coverage-biased Random Exploration of Models (MCG, AD, SDG, RL, JO, SP), pp. 3–14.

MBT-2008-BruckerBW #empirical #proving #verification

Verifying Test-Hypotheses: An Experiment in Test and Proof (ADB, LB, BW), pp. 15–27.

MBT-2008-FalconeMFR #java #named #testing

j-POST: a Java Toolchain for Property-Oriented Software Testing (YF, LM, JCF, JLR), pp. 29–41.

MBT-2008-PonsG #approach #lightweight #semantics #validation

A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.

MBT-2008-AichernigWW #consistency #testing

Improving Fault-based Conformance Testing (BKA, MW, FW), pp. 63–77.

MBT-2008-DavidLLN #testing

Cooperative Testing of Timed Systems (AD, KGL, SL, BN), pp. 79–92.

MBT-2008-Jurjens #case study #modelling #security #testing #using

Model-based Security Testing Using UMLsec: A Case Study (JJ), pp. 93–104.