How Do Assertions Impact Coverage-Based Test-Suite Reduction? | IEEE Conference Publication | IEEE Xplore