ISSTA 2016

July 15, 2016


BINSEC will be present at ISSTA 2016 with a paper by Robin David & al.

The paper is titled Specification of Concretization and Symbolization Policies in Symbolic Execution. The abstract is available.