MBT: Model-Based Testing

Study period 4, 2012
Tue 13 March - Wed 16 May, 2012
Course codes: DIT848/GU and TDA260/Chalmers, 7.5 hp

Given by Computer Science and Engineering at
Chalmers Technical University and The University of Gothenburg

The recommended book for this course is:

Note that the first part of the course does not follow any concrete book so it is difficult to point to specific parts of a book deadling with the content. However, as a suggestion you might want to take a look at the following books:

Lecture 7 will be based on the following paper (its reading is highly recommended):

For the QuickCheck lectures, this is the recommended literature:

You will find below a list of other books and papers on testing. Their reading is not required for the course; the list is given only as a suggestion for further reading for those of you interested in the topic.

More on testing: About Finite State Machines: Surveys and other articles in journal/conference proceedings This page was updated May 7 2012, 22:24 .