VP_TT: A value propagation based equivalence checker for testability transformations. - Ramanuj Chouksey; Sachin Kumar Maddheshiya; Chandan Karfa (IET Softw., 2021)