Proceedings of the Second 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 Second Workshop on Model Based Testing
MBT, 2006.

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        = 4,
	title         = "{Proceedings of the Second Workshop on Model Based Testing}",
	volume        = 164,
	year          = 2006,

Contents (9 items)

MBT-2006-ConradK #classification #embedded
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
MBT-2006-BraspenningMR #development #integration #modelling #testing
A Model-based Integration and Testing Method to Reduce System Development Effort (NCWMB, JMvdMF, JER), pp. 13–28.
MBT-2006-SilvaM #generative #towards
Towards Test Purpose Generation from CTL Properties for Reactive Systems (DAdS, PDLM), pp. 29–40.
MBT-2006-CallananGRSTZ #approach #monte carlo #runtime #verification
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach (SC, RG, AR, SAS, MRT, EZ), pp. 41–52.
MBT-2006-KervinenMK #architecture #testing #using
Controlling Testing Using Three-Tier Model Architecture (AK, MM, MK), pp. 53–66.
MBT-2006-DjouvasGL #network #self #testing
Testing Self-Similar Networks (CD, NDG, NAL), pp. 67–82.
MBT-2006-BourdonovKK #consistency #testing
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.
MBT-2006-NilssonOM #generative #testing
Test Case Generation for Mutation-based Testing of Timeliness (RN, JO, JM), pp. 97–114.
MBT-2006-AichernigG #modelling #testing
When Model-based Testing Fails (BKA, CG), pp. 115–128.

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.