Anuja Arora, Madhavi Sinha. Avoiding state explosion problem of generated AJAX web application state machine using BDD. In Manish Parashar, Albert Y. Zomaya, Jianer Chen, Jiannong Cao, Pascal Bouvry, Sushil K. Prasad, editors, Sixth International Conference on Contemporary Computing, IC3 2013, Noida, India, August 8-10, 2013. pages 381-386, IEEE, 2013. [doi]
Abstract is missing.