gabrieldim / JUnit-CACC-RACC

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

JUnit CACC RACC

Correlated Active Clause Coverage (CACC)
Restricted Active Clause Coverage (RACC)

---

• Predicates deriving from the following code.
• Truth tables for predicates.
• Test Requirements: CACC, RACC.
• Write junit Tests