Automatic Model Inference of Web Applications for Security Testing | IEEE Conference Publication | IEEE Xplore