CS 458
Software
Verification and Validation

Description
Study Material
Schedule
Grading
Projects
Related Links

Bilsen Logo

Instructor:
Dr. Bedir Tekinerdogan
bedir@cs.bilkent.edu.tr

Study Material

In the course we will use the following textbook:

Mauro Pezzè, Michal Young: Software Testing and Analysis: Process, Principles and Techniques, Wiley, ISBN 0471455938.

In addition selected papers on software verification and validation will be used.