SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification.

Sren Tempel, Vladimir Herdt, Rolf Drechsler

Browse the full ATVA paper archive.