Boolean Formulas for the Static Identification of Injection Attacks in Java
['Michael D. Ernst', 'Alberto Lovato', 'Damiano Macedonio', 'Ciprian Spiridon', 'Fausto Spoto']
Boolean Formulas for the Static Identification of Injection Attacks in Java