Automatic Generation of Test Drivers for Model Inference of Web Applications | IEEE Conference Publication | IEEE Xplore