Avoiding state explosion problem of generated AJAX web application state machine using BDD | IEEE Conference Publication | IEEE Xplore