What-If Model Construction and Validation of Web Systems Based on Log Mining | IEEE Conference Publication | IEEE Xplore