86 citations · 278 across the 22 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016
Compositional Reasoning for Shared-variable Concurrent Programs
Fuyuan Zhang, Yongwang Zhao, David Sanan +4
Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoni…
cs.SE2016★ 3 cited
Learning Likely Invariants to Explain Why a Program Fails
Jun Sun, Long H. Pham, Lyly Tran Thi +2
Debugging is difficult. Recent studies show that automatic bug localization techniques have limited usefulness. One of the reasons is that programmers typically have to understand…