https://github.com/gabrieldim/junit-cacc-racc

JUnit Testing for Correlated Active Clause Coverage a.k.a CACC and Restricted Active Clause Coverage a.k.a. RACC
https://github.com/gabrieldim/junit-cacc-racc

cacc java junit junit5 racc test testing

Last synced: 10 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/gabrieldim/junit-cacc-racc
• Owner: gabrieldim
• Created: 2021-05-09T21:09:18.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2021-05-09T21:22:21.000Z (about 5 years ago)
• Last Synced: 2025-07-10T13:31:09.764Z (11 months ago)
• Topics: cacc, java, junit, junit5, racc, test, testing
• Language: Java
• Homepage:
• Size: 25.4 KB
• Stars: 97
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# 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