Search this site
Tiago Massoni
Menu
Tiago Massoni
Dissertations
JmlOk2
Enhancing Conformance Checking for Contract-Based Programs
Classification Model
Enhanced Classification Model
Experiment Results
Comparison Automatic x JML Experts
Comparison JMLOK and JET
Comparison Manual x Automatic
JMLOK 2.0 Evaluation
Metrics about nonconformances
Setup
Experimental Units
Fostering Design By Contract by Exploiting the Relationship between Code Commentary and Contracts
A Study on Java/JML Open Source Systems
A Survey on Nonconformance Classification by Java/JML Developers
ContractJDoc - A new approach for documenting Java code
ContractSuggestor - Automatically Generating Contracts from Javadoc Comments
Nonconformance between Programs and Contracts: A Study on C#/Code Contracts Open Source Systems
Code Contracts results
JML results
Publications
How does Motivation Relate to Developer Turnover? A Quantitative Study with Developers in Brazil
WC prioritization (paper title)
Tiago Massoni
JML results