Computing mutation coverage in interpolation-based model checking by Chockler, H, Kroening, D, Purandare, M

Coverage in interpolation-based model checking by Chockler, H, Kroening, D, Purandare, M

Probabilistic fault localisation by Landsberg, D, Chockler, H, Kroening, D

Explaining image classifiers using statistical fault localization by Sun, Y, Chockler, H, Huang, X, Kroening, D

Learning the language of software errors by Chockler, H, Kesseli, P, Kroenig, D, Strichman, O