1 paper
Fei He, Qianshan Yu, Liming Cai
Software systems evolve throughout their life cycles. Many revisions are produced over time. Model checking each revision of the software is impractical. Regression verification su…