Efficient Summary Reuse for Software Regression Verification.

Fei He Qianshan Yu Liming Cai

Published in: IEEE Trans. Software Eng. (2022)

Keyphrases

data sets
neural network
source code
case study
software development
computer systems
software tools
information systems
video sequences
cost effective
model checking
development process
software maintenance
test suite
formal verification