Efficient Summary Reuse for Software Regression Verification

Fei He 0001, Qianshan Yu, Liming Cai. Efficient Summary Reuse for Software Regression Verification. IEEE Trans. Software Eng., 48(4):1417-1431, 2022. [doi]

Abstract

Abstract is missing.