BlueCov: Integrating Test Coverage and Model Checking with JBMC
Matthias Güdemann, Peter Schrammel · 2023
Automated test case generation tools help businesses to write tests and increase the safety net provided by high regression test coverage when making code changes. Test generation needs to cover as much as possible of the uncovered code while avoiding generating redundant tests for code that is already covered by an existing test-suite.