Testability transformation for efficient automated test data search in the presence of nesting (2005)

by P McMinn, D Binkley, M Harman
Venue:In UK Software Testing Workshop (UK Test 2005