Automated test data generation using data dependence based testability transformation. by Qi Zhang | Menrva Books | MenrvaBooks