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

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

Contents (8 items)

8 ×#testing
3 ×#modelling
2 ×#generative

MBT-2009-SalasK #automation #testing

Automated Software Testing of Asynchronous Systems (PAPS, PK), pp. 3–19.

MBT-2009-KimHHK #concurrent #debugging #kernel #modelling #testing

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay (MK, SH, CH, TK), pp. 21–36.

MBT-2009-DadeauLH #automaton #generative #on the #random #testing #using

On the Use of Uniform Random Generation of Automata for Testing (FD, JL, PCH), pp. 37–51.

MBT-2009-AichernigBW #consistency #hybrid #modelling #reasoning #testing

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.

MBT-2009-KrennA #contract #generative #specification #testing

Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.

MBT-2009-SchumannSH #graph #nondeterminism #testing #using

Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.

MBT-2009-TsiopoulosS #component #modelling #testing

Model Based Testing of a Network-on-Chip Component (LT, MS), pp. 101–116.

MBT-2009-DadeauT #animation #named #testing

jSynoPSys — A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines (FD, RT), pp. 117–132.