A path-oriented test data generation approach for automatic software testing | IEEE Conference Publication | IEEE Xplore