JUnit Testing for Correlated Active Clause Coverage a.k.a CACC and Restricted Active Clause Coverage a.k.a. RACC
Correlated Active Clause Coverage (CACC) Restricted Active Clause Coverage (RACC)