Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition.

Pouria Derakhshanfar Xavier Devroey

Published in: SBST@ICSE (2022)

Keyphrases

test generation
code coverage
test cases
symbolic execution
design automation
test sequences
software testing
static analysis
quality assurance
mutation testing
image processing
test suite