Tiago Massoni‎ > ‎JmlOk2‎ > ‎

Enhancing Conformance Checking for Contract-Based Programs


In this page we provide more details about the studies that we conducted in our work (Enhancing Conformance Checking for Contract-Based Programs).

First we present the Setup that we use in the studies:
Next we present the Results:
And finally we present more details about our Classification Model (including the set of heuristics used to suggest a likely cause for nonconformances):