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

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

Contents (9 items)

6 ×#testing
3 ×#model checking
2 ×#generative
2 ×#modelling
2 ×#specification
2 ×#using

MBT-2007-BorodayPG #model checking #nondeterminism #question #testing

Can a Model Checker Generate Tests for Non-Deterministic Systems? (SB, AP, RG), pp. 3–19.

MBT-2007-DadeauLB #java #ml #specification #testing #using

Measuring a Java Test Suite Coverage Using JML Specifications (FD, YL, LdB), pp. 21–32.

MBT-2007-FraserAW #model checking #testing

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers (GF, BKA, FW), pp. 33–46.

MBT-2007-HesselP #algorithm #generative #modelling #testing

A Global Algorithm for Model-Based Test Suite Generation (AH, PP), pp. 47–59.

MBT-2007-KollmannH #generative #multi

Generating Scenarios by Multi-Object Checking (MK, YMH), pp. 61–72.

MBT-2007-LedruBDA #case study #proving

A Case Study in Matching Test and Proof Coverage (YL, LdB, FD, FA), pp. 73–84.

MBT-2007-OuimetL #automation #consistency #satisfiability #specification #state machine #using #verification

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver (MO, KL), pp. 85–97.

MBT-2007-PaivaFV #formal method #integration #modelling #testing #towards #user interface #visual notation

Towards the Integration of Visual and Formal Models for GUI Testing (ACRP, JCPF, RFAMV), pp. 99–111.

MBT-2007-RaimondiPB #model checking #testing

Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.