Fostering Design By Contract by Exploiting the Relationship between Code Commentary and Contracts

In this page, we group links for the main studies performed in the PhD thesis of Alysson F. Milanez.

• ContractJDoc - A new approach for documenting Java code
  • Presents the studies conducted with our new approach for applying Design by Contract in Java context.
• ContractSuggestor: Automatically generating contracts by means of code commentary
  • Presents the studies performed with our approach for generating contracts by processing natural language tagged-comments.
• Nonconformance between Programs and Contracts: A Study on C#/Code Contracts Open Source Systems
• A Study on Java/JML Open Source Systems
  • The last two pages present the studies performed with our tools: Jmlok2 and ContractOk on a set of open-source programs.
• A Survey on Nonconformance Classification by Java/JML Developers
  • Details the survey study performed in order to find out points of improvement for our classification model.