Common use of Three Sources of Change Contracts Clause in Contracts

Three Sources of Change Contracts. Table III shows ten version changes from which we extract change contracts. We prepared change contracts from three different sources: (I) First, to reflect user intentions as faithfully as possible, we transformed bug reports to change contracts as we did in the overview section (Section 2). In fact, the first row of Table III corresponds to the example we used in Section 2. Notice the same bug number (i.e., 51668) shown in the third column. Meanwhile, the first and second columns show the first six Git snapshot IDs of the previous and updated systems, re- spectively. While the the first four rows of the table are collected by transforming bug reports, they are only partially effective in testing our dynamic CCC toolset. Although relevant tests are successfully generated in all four cases, these tests are either passed or abandoned (isomorphic input is not found sometimes due to the limit of our tool; see Section 6.4.4) without reporting a change contract violation.