SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning.

Nicola Ruaro, Kyle Zeng, Lukas Dresel, Mario Polino, Tiffany Bao, Andrea Continella, Stefano Zanero, Christopher Kruegel, Giovanni Vigna

Browse the full RAID paper archive.