Zhuofu Bai Gang Shu Andy Podgurski International Conference on Software Testing, Verification and Validation (IEEE)