Proceedings of the Fourth Workshop on Model Based Testing
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

no DBLP info
Full names Links ISxN
	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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.