2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.PL2022
ProbTA: A sound and complete proof rule for probabilistic verification
Guanyan Li, Zhilei Han, Fei He
We propose a sound and complete proof rule ProbTA for quantitative analysis of violation probability of probabilistic programs. Our approach extends the technique of trace abstract…
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…