se logo Chair of Software Engineering
eth logo
   

 

Master Thesis

Type of project:
Master Thesis, March 2010 - August 2010

Author:
Nikolay Kazmin

Title:
Applying Data Mining to Contract Inference

Supervising Assistant:
Yi Wei

Description

This master thesis report will introduce the techniques that we use to automatically infer contracts for a given class. The report will cover briefly the building of the automatic test suite, the generation of the change profile and then will get into great details on the implication inference. It will focus on the decision tree and linear regression learning techniques to infer contracts. Experiments show that for standard data structure classes such as linked list, array, stack, query and hash table, 75% of the complete contracts can be inferred fully automatically.


report