7th Workshop on Model-Based Testing, Saarbrucken, Deutschland

Abbrevation

MBT'2011

Link

http://mbt-workshop.org/

City

Saarbrucken

Country

Germany

Deadline Paper

2010-12-06

Start Date

2011-04-02

End Date

2011-04-03

Abstract

The workshop is devoted to model–based testing of both software and hardware. Model–based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves.