1 paper · 1 filter
Kelvin Qian, Scott Smith, Brandon Stride +2
In recent years, there has been an increased interest in tools that establish \emph{incorrectness} rather than correctness of program properties. In this work we build on this appr…