Section IV, we created filters for methods with documented
deviations of behavior, so false-positive-generating test cases
are not produced. Second, we studied the results of X-Checker
to understand the cause of the inconsistency. In some cases,
this study lead us to a sentence in the documentation or code
comments where the inconsistency was documented (as discussed
in Section VI). We did not include these inconsistencies
in our overall count shown in Figure 9, and reported the other
inconsistencies to the Xamarin BugZilla forum.