The recommended book for this course is:

    1. Utting and B. Legeard, Practical Model-Based Testing. Elsevier - Morgan Kaufmann Publishers, 2007. (An electronic version is available at - note that you must be logged in at Chalmers’ network to get access to it.)

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:

  • P.C. Jorgensen. Software Testing: A Craftsman’s Approach. Auerbach Publications, 3rd edition, 2008. (Mainly chapters 1 and 12.)
  • Ian Sommerville. Software Engineering (8th edition), Addison-Wesley, 2007. (Chapters 22 and 23.)

The lecture on “Graph Theory Techniques in MBT” will be based on the following paper (its reading is highly recommended):

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:

  1. P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge, 2008.
  2. C. Kaner, J. Bach, B. Pettichord. Lessons Learned in Software Testing. Wiley (1st edition), 2001. ISBN: 978-0471081128
  3. R. Patton. Software Testing. Sams (2 edition), 2005. ISBN: 978-0672327988

About Finite State Machines:

  • F. Wagner, R. Schmuki, T. Wagner and P. Wolstenholm. Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publications, 2006. ISBN: 978-0849380860
  • J. Hopcroft. R. Motwani and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Pearson Education, 2006. ISBN: 9780321514486 (Mainly Chapter 2)

Surveys and other articles in journal/conference proceedings

  • L. Baresi and M. Pezzè. An Introduction to Software Testing. In ENTCS vol. 148, pp. 89-111, 2006. Elsevier.
  • A. Bertolino. Software testing research: achievement, challenges, dreams. In FOSE‘07, pp. 85-103, 2007. IEEE Computer Society (Survey on testing and research roadmap)
  • M.J. Rehman, F. Jabeen, A. Bertolino, and A. Pollini. Testing software components for integration: a survey of issues and techniques. In Softw. Test, Verif. Reliab. 17(2), pp. 95-133, 2007. (Survey on component integration testing)
  • I.K. El-Far and J.A. Whittaker. Model-Based Software Testing. In Encyclopedia on Software Engineering, Wiley, 2001 (Survey on model-based testing)
  • M. Blackburn, R. Busser, A. Nauman. Why Model-Based Test Automation is Different and What You Should Know to Get Started. Software Productivity Consortium, 2004 (Survey on automation of model-based testing)