Data Dependence Based Testability Transformation in Automated Test Generation. - Bogdan Korel; Mark Harman; S. Chung; P. Apirukvorapinit; Rajiv Gupta 001; Q. Zhang (ISSRE, 2005)