MBT: Model-Based Testing

Study period 4, 2015
Mon 23 March - Wed 27 May, 2015
Course codes: DIT848/GU and DAT260/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 11 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 Functional Programming:

If you need background on functional programming you can take a look at the following online tutorial (also, check bibliography of different courses on the topic offered at Chalmers):

This page was updated Mar 6 2015, 19:48 .