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