“…The results are summarized in Table III. RQ3 is the only research question that does not demand a provided class invariant for assessment. To evaluate it, we took buggy implementations of data structures from the literature: the scheduler implementation from the SIR repository [12], an implementation of n-ary trees that is part of the ANTLR parser generator, implementations of routines of a set of integers, over red black trees, with seeded bugs, presented in [42], binary search trees and binomial heaps used in the empirical evaluation in [14] containing one real bug each, and a fibonacci heap implementation taken from [1], containing a real bug. For each case study, we took a set of builders, and generated tests with Randoop from which we learned an object classifier with our technique, with a relatively small scope (5 for all cases), and produced likely invariants with Daikon, processed as for RQ2.…”