Carving and Replaying Differential Unit Test Cases from System Test Cases | IEEE Journals & Magazine | IEEE Xplore