CS 595C - Environment Generation and Model Based Testing - Spring 2006


In this seminar we will discuss techniques for providing an environment for a program that is being verified or tested. We will look into techniques developed in the model checking and model-based testing areas.

Instructor: Tevfik Bultan

Tentative Reading List