{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:10:57Z","timestamp":1729631457526,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/ic3.2013.6612224","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:09Z","timestamp":1380652689000},"page":"381-386","source":"Crossref","is-referenced-by-count":0,"title":["Avoiding state explosion problem of generated AJAX web application state machine using BDD"],"prefix":"10.1109","author":[{"given":"Anuja","family":"Arora","sequence":"first","affiliation":[]},{"given":"Madhavi","family":"Sinha","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Principles of Model Checking","year":"2007","author":"baier","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRTIT.2013.6844260"},{"key":"17","first-page":"303","article-title":"Binary decision diagrams","author":"somenzi","year":"0","journal-title":"Calculational System Design Volume 173 of NATO Science Series F Computer and Systems Sciences"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41865"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9149-1"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11266-9_2"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICWE.2008.24"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070522"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.22"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1007\/s10009-008-0086-x","article-title":"A case study-based comparison of web testing techniques applied to ajax web applications","author":"marchetto","year":"2008","journal-title":"Int J Softw Tools for Technol Transfer"},{"key":"21","article-title":"A Sustianable approach to automate user session based state machine generation for AJAX web applications","author":"arora","year":"0","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.22"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"2","article-title":"Schutta and ryan asleson,?","author":"nathaniel","year":"0","journal-title":"Pro Ajax and Java?"},{"key":"1","article-title":"Ajax: A new approach to web applications?","author":"garrett","year":"2005","journal-title":"Adaptive path"},{"key":"10","article-title":"Testing ajax applications with selenium","author":"larson","year":"2006","journal-title":"InfoQ magazine"},{"key":"7","article-title":"Automatisation de test ajax","author":"caffrey","year":"2007","journal-title":"MSDN magazin"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41865"},{"key":"5","first-page":"16","article-title":"Research in the automated testing of ajax applications","author":"van deursen","year":"2010","journal-title":"Proceedings 36th International Conference on Current Trend in Theory and Practice of Computer Science (SOFSEM"},{"key":"4","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s10009-008-0086-x","article-title":"A case study-based comparison of web testing techniques applied to ajax web applications","volume":"10","author":"marchetto","year":"2008","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"journal-title":"The State Explosion Problem Technical Report 456909","year":"2003","author":"kot","key":"9"},{"key":"8","first-page":"220","article-title":"A parallel algorithm for constructing binary decision diagrams","author":"clarke","year":"1990","journal-title":"Proceedings of the 1990 IEEE International Conference on Computer Design"}],"event":{"name":"2013 Sixth International Conference on Contemporary Computing (IC3)","start":{"date-parts":[[2013,8,8]]},"location":"Noida, India","end":{"date-parts":[[2013,8,10]]}},"container-title":["2013 Sixth International Conference on Contemporary Computing (IC3)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6595807\/6612154\/06612224.pdf?arnumber=6612224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T01:31:51Z","timestamp":1564277511000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6612224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ic3.2013.6612224","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}