Source-code divergence diagnosis using constraints and cryptography.

Farshad Ghassemi Toosi, Jim Buckley, Ashish Rajendra Sai

Browse the full ECSA paper archive.