An automated framework for structural test-data generation | IEEE Conference Publication | IEEE Xplore