Research on automatic generation of test data for multi-path coverage | IEEE Conference Publication | IEEE Xplore