This repository contains data sets and graphs regarding the analysis of the dependency graph of CPAchecker with Jade.
The folder ./data contains the data sets with the measurement values for different measures for all packages of CPAchecker as well as the refined dependency graph of CPAchecker without test classes and external references.
The folder ./graphs contains the graphs for the measures based on the measurement values of the corresponding data set. Furthermore, it contains graphs showing which show the correlations between the dependency cohesion measures DCMLCOM3, DCMCC and the measures NOC and Ce