control + data flow model directed inputs generation b . approximate taint flow inference .
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach