Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Proceedings of the Second Workshop on Model Based Testing
MBT, 2006.

@proceedings{MBT-2006,
	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)

6 ×#testing
2 ×#generative
2 ×#modelling

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.