Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.

Maria Christakis, Patrice Godefroid

Browse the full VMCAI paper archive.