Strengthening properties using abstraction refinement Dahkki Purandare, M, Wahl, T, Kroening, D

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

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

Approximation Refinement for Interpolation−Based Model Checking Dahkki D'Silva, V, Purandare, M, Kroening, D

Approximation Refinement for Interpolation−Based Model Checking Dahkki D'Silva, V, Purandare, M, Kroening, D

Formal techniques for effective co-verification of hardware/software co-designs Dahkki Mukherjee, R, Purandare, M, Polig, R, Kroening, D

Restructuring Resolution Refutations for Interpolation Dahkki D'Silva, V, Kroening, D, Purandare, M, Weissenbacher, G

Interpolant Strength Dahkki D'Silva, V, Kroening, D, Purandare, M, Weissenbacher, G

Mutation-based test case generation for simulink models Dahkki Brillout, A, He, N, Mazzucchi, M, Kroening, D, Purandare, M, Rümmer, P, Weissenbacher, G