Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
web application security assessment tools .