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.
Tentative Reading List
- Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov: Korat: automated testing based on Java predicates. ISSTA 2002: 123-133
- Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163
- Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129