56 citations · 84 across the 30 of their papers we have counts for
1 paper · 1 filter
Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna +2
While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We present an algorithm that avoids such regressions. The solution space is given by a…