Applying Slicing-based Testability Transformation to Improve Test Data Generation with Symbolic Execution. - Hsin-Yu Chien; Chin-Yu Huang; Chih-Chiang Fang (Int. J. Perform. Eng., 2021)