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]

Authors

Fei He 0001

This author has not been identified. Look up 'Fei He 0001' in Google

Qianshan Yu

This author has not been identified. Look up 'Qianshan Yu' in Google

Liming Cai

This author has not been identified. Look up 'Liming Cai' in Google