BOZANICH ADAM

Syntax-based security analysis using dynamically generated test cases