2 citations · 2 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021★ 2 cited
Automatic Detection and Resolution of Software Merge Conflicts: Are We There Yet?
Bowen Shen, Cihan Xiao, Na Meng +1
Developers create software branches for tentative feature addition and bug fixing, and periodically merge branches to release software with new features or repairing patches. When…
cs.SE2018
When Regression Verification Meets CEGAR
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…