{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:54Z","timestamp":1750308594195,"version":"3.41.0"},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T00:00:00Z","timestamp":1483574400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2017,1,5]]},"abstract":"<jats:p>In this paper, we present a framework for exhaustive test input generation and execution of tests for websites using JPF, and Java libraries such as Selenium and JUnit. Specifically, we utilize the core functionality of jpf-nhandler, a JPF extension, to enable use of useful Java libraries such as GSON in the JPF environment. The paper further describes iterating through webpages successively and generating test inputs systematically for each page. It also presents the experimental results of running our framework on a small example website and a real-world website<\/jats:p>","DOI":"10.1145\/3011286.3011293","type":"journal-article","created":{"date-parts":[[2017,1,6]],"date-time":"2017-01-06T13:30:07Z","timestamp":1483709407000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Exhaustive Testing of Websites using JPF"],"prefix":"10.1145","volume":"41","author":[{"given":"Sarvesh","family":"Nagarajan","sequence":"first","affiliation":[{"name":"National Instruments Corporation"}]},{"given":"Nastaran","family":"Shafiei","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}]}],"member":"320","published-online":{"date-parts":[[2017,1,5]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Available: http:\/\/www.clickz.com\/clickz\/news\/2239608\/more-consumers-order-food-online-using-a-smartphone-or-tablet. [Accessed","author":"Dohnert J.","year":"2015","unstructured":"J. Dohnert , \"More Consumers Order Food Online Using a Smartphone or Tablet,\" 28 January 2013. [Online]. Available: http:\/\/www.clickz.com\/clickz\/news\/2239608\/more-consumers-order-food-online-using-a-smartphone-or-tablet. [Accessed 02 October 2015 ]. J. Dohnert, \"More Consumers Order Food Online Using a Smartphone or Tablet,\" 28 January 2013. [Online]. Available: http:\/\/www.clickz.com\/clickz\/news\/2239608\/more-consumers-order-food-online-using-a-smartphone-or-tablet. [Accessed 02 October 2015]."},{"volume-title":"Available: http:\/\/www.bankingtech.com\/56242\/the-irresistible-rise-of-digital-banking\/. [Accessed","year":"2015","key":"e_1_2_1_2_1","unstructured":"\"The irresistible rise of digital banking,\" [Online]. Available: http:\/\/www.bankingtech.com\/56242\/the-irresistible-rise-of-digital-banking\/. [Accessed 1 October 2015 ]. \"The irresistible rise of digital banking,\" [Online]. Available: http:\/\/www.bankingtech.com\/56242\/the-irresistible-rise-of-digital-banking\/. [Accessed 1 October 2015]."},{"volume-title":"Available: http:\/\/www.seleniumhq.org\/. [Accessed","year":"2015","key":"e_1_2_1_3_1","unstructured":"\"What is Selenium?,\" [Online]. Available: http:\/\/www.seleniumhq.org\/. [Accessed 1 October 2015 ]. \"What is Selenium?,\" [Online]. Available: http:\/\/www.seleniumhq.org\/. [Accessed 1 October 2015]."},{"volume-title":"Available: http:\/\/junit.org\/ . [Accessed","year":"2015","key":"e_1_2_1_4_1","unstructured":"\"JUnit,\" [Online]. Available: http:\/\/junit.org\/ . [Accessed 1 October 2015 ]. \"JUnit,\" [Online]. Available: http:\/\/junit.org\/ . [Accessed 1 October 2015]."},{"volume-title":"Java HTML Parser,\" [Online]. Available: http:\/\/jsoup.org\/. [Accessed","year":"2015","key":"e_1_2_1_5_1","unstructured":"\"jsoup : Java HTML Parser,\" [Online]. Available: http:\/\/jsoup.org\/. [Accessed 1 October 2015 ]. \"jsoup: Java HTML Parser,\" [Online]. Available: http:\/\/jsoup.org\/. [Accessed 1 October 2015]."},{"key":"e_1_2_1_6_1","volume-title":"Available: http:\/\/babelfish.arc.nasa.gov\/trac\/jpf. [Accessed","author":"JPF","year":"2015","unstructured":"\" JPF ..the swiss army knife of Java verification,\" [Online]. Available: http:\/\/babelfish.arc.nasa.gov\/trac\/jpf. [Accessed 1 October 2015 ]. \"JPF ..the swiss army knife of Java verification,\" [Online]. Available: http:\/\/babelfish.arc.nasa.gov\/trac\/jpf. [Accessed 1 October 2015]."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606649"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2557833.2560577"},{"key":"e_1_2_1_9_1","volume-title":"Towards model checking of computer games with Java PathFinder,\" in Games and Software Engineering (GAS)","author":"van Breugel F.","year":"2013","unstructured":"F. van Breugel and N. Shafiei , \" Towards model checking of computer games with Java PathFinder,\" in Games and Software Engineering (GAS) , 2013 . F. van Breugel and N. Shafiei, \"Towards model checking of computer games with Java PathFinder,\" in Games and Software Engineering (GAS), 2013."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"volume-title":"Platform as a Service","year":"2015","key":"e_1_2_1_11_1","unstructured":"\"Google App Engine : Platform as a Service ,\" 12 May 2015 . [Online]. Available: https:\/\/cloud.google.com\/appengine\/docs. [Accessed 1 October 2015]. \"Google App Engine: Platform as a Service,\" 12 May 2015. [Online]. Available: https:\/\/cloud.google.com\/appengine\/docs. [Accessed 1 October 2015]."},{"key":"e_1_2_1_12_1","volume-title":"Gson User Guide,\" [Online]. Available: https:\/\/sites.google.com\/site\/gson\/gson-user-guide. [Accessed","author":"Singh I.","year":"2015","unstructured":"I. Singh , J. Leitch and J. Wilson , \" Gson User Guide,\" [Online]. Available: https:\/\/sites.google.com\/site\/gson\/gson-user-guide. [Accessed 1 October 2015 ]. I. Singh, J. Leitch and J. Wilson, \"Gson User Guide,\" [Online]. Available: https:\/\/sites.google.com\/site\/gson\/gson-user-guide. [Accessed 1 October 2015]."},{"key":"e_1_2_1_13_1","volume-title":"Available: http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/wiki\/user\/components. [Accessed","author":"Components JPF","year":"2015","unstructured":"\" JPF Components ,\" March 2014. [Online]. Available: http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/wiki\/user\/components. [Accessed 1 October 2015 ]. \"JPF Components,\" March 2014. [Online]. Available: http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/wiki\/user\/components. [Accessed 1 October 2015]."},{"key":"e_1_2_1_14_1","volume-title":"Available: https:\/\/bitbucket.org\/nastaran\/jpf-nhandler . [Accessed","author":"Shafiei N.","year":"2015","unstructured":"N. Shafiei , \"jpf-nhandler,\" [Online]. Available: https:\/\/bitbucket.org\/nastaran\/jpf-nhandler . [Accessed 1 October 2015 ]. N. Shafiei, \"jpf-nhandler,\" [Online]. Available: https:\/\/bitbucket.org\/nastaran\/jpf-nhandler . [Accessed 1 October 2015]."},{"key":"e_1_2_1_15_1","volume-title":"Capture-Replay vs. Programmable Web Testing","author":"Leotta M.","year":"2013","unstructured":"M. Leotta , D. Clerissi , F. Ricca and P. Tonella , \" Capture-Replay vs. Programmable Web Testing :,\" 2013 . M. Leotta, D. Clerissi, F. Ricca and P. Tonella, \"Capture-Replay vs. Programmable Web Testing:,\" 2013."},{"key":"e_1_2_1_16_1","volume-title":"no","author":"Chopra R.","year":"2015","unstructured":"R. Chopra , \"Challenges of Website Testing,\" IJIACS , no . Volume 4 , Special Issue , 2015 . R. Chopra, \"Challenges of Website Testing,\" IJIACS, no. Volume 4, Special Issue, 2015."},{"key":"e_1_2_1_17_1","volume-title":"UT Austin","author":"Nagarajan S.V.","year":"2015","unstructured":"S.V. Nagarajan , \"Automated test input generation and test execution for websites,\" M.S. thesis, ECE , UT Austin , Austin, TX , 2015 . S.V. Nagarajan, \"Automated test input generation and test execution for websites,\" M.S. thesis, ECE, UT Austin, Austin, TX, 2015."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3011286.3011293","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3011286.3011293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:05:28Z","timestamp":1750273528000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3011286.3011293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,5]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,1,5]]}},"alternative-id":["10.1145\/3011286.3011293"],"URL":"https:\/\/doi.org\/10.1145\/3011286.3011293","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2017,1,5]]},"assertion":[{"value":"2017-01-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}