Complex Dynamic Method of Web Applications Verification by the Criterion of Time Minimization | IEEE Conference Publication | IEEE Xplore