Toward Black-Box Detection of Logic Flaws in Web Applications | Synapse