Automatic Test Data Generation for Multiple Condition and MCDC Coverage | IEEE Conference Publication | IEEE Xplore