Proceedings of the Third Workshop on Model Based Testing
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

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

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.

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.