Achieving State Space Reduction in Generated Ajax Web Application State Machine. - Nadeem Fakhar Malik; Aamer Nadeem; Muddassar Azam Sindhu (Intell. Autom. Soft Comput., 2022)