Heuristic Analysis from Source Code via Symbolic-Guided Optimization.

Pantea Karimi, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Pooria Namyar, Mohammad Alizadeh, Behnaz Arzani

Browse the full NSDI paper archive.