Bridging Static and Dynamic Analysis using IBCs (S).

Imran Pinjari, Vaishnavi Kattula, Michael Shin

Browse the full SEKE paper archive.