Girls Meets Symbolic Execution: Assertion 2. Automated Exploit Generation (English)

“Automated exploit generation” - two of girls are truly fascinated by its good sound.
Aoi thought that vulnerabilities can be found when it comes to succeed in fuzzing.
Futaba thought that symbolic execution automates exploits leverages vulnerabilities.
At that time, black shadow gradually approaches to excited girls.