MCDC-Star: A White-Box Based Automated Test Generation for High MC/DC Coverage | IEEE Conference Publication | IEEE Xplore