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):