A New Method for Software Test Data Generation Inspired by D-algorithm | IEEE Conference Publication | IEEE Xplore