Nikolay Kazmin

Learn More
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contracts. The results of current contract inference tools are still often unsatisfactory in practice, especially for programmers who already apply some kind of basic Design by Contract(More)
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(More)
  • 1