{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T16:02:52Z","timestamp":1774195372473,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"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":[],"published-print":{"date-parts":[[2010,9,20]]},"DOI":"10.1145\/1858996.1859044","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"235-244","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines"],"prefix":"10.1145","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[{"name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Chicoutimi, Chicoutimi, PQ, Canada"}]},{"given":"Taylor","family":"Ettema","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, Santa Barbara, CA, USA"}]},{"given":"Chris","family":"Bunch","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, Santa Barbara, CA, USA"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[{"name":"University of California Santa Barbara, Santa Barbara, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IEEE International Conference on Automated Software Engineering (ASE 2004)","year":"2004","unstructured":"}}19th IEEE International Conference on Automated Software Engineering (ASE 2004) , 20-25 September 2004 , Linz, Austria. IEEE Computer Society , 2004. }}19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria. IEEE Computer Society, 2004."},{"key":"e_1_3_2_1_2_1","unstructured":"}}\n      D. A.\n      Basin F.\n      Klaedtke S.\n      M\u00fcller and \n      B.\n      Pfitzmann\n  . \n  Runtime monitoring of metric first-order temporal properties\n  . In R. Hariharan M. Mukund and V. Vinay editors FSTTCS volume \n  2\n   of \n  LIPIcs pages \n  49\n  --\n  60\n  . Schloss Dagstuhl-Leibniz-Zentrum fuer \n  Informatik 2008\n  .  }}D. A. Basin F. Klaedtke S. M\u00fcller and B. Pfitzmann. Runtime monitoring of metric first-order temporal properties. In R. Hariharan M. Mukund and V. Vinay editors FSTTCS volume 2 of LIPIcs pages 49--60. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.128"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025211"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"}}\n      A.\n      Cimatti E. M.\n      Clarke E.\n      Giunchiglia F.\n      Giunchiglia M.\n      Pistore M.\n      Roveri R.\n      Sebastiani and \n      A.\n      Tacchella\n  . \n  NuSMV 2: An open-source tool for symbolic model checking\n  . In E. Brinksma and K. G. Larsen editors CAV volume \n  2404\n   of \n  Lecture Notes in Computer Science pages \n  359\n  --\n  364\n  . \n  Springer 2002\n  .   }}A. Cimatti E. M. Clarke E. Giunchiglia F. Giunchiglia M. Pistore M. Roveri R. Sebastiani and A. Tacchella. NuSMV 2: An open-source tool for symbolic model checking. In E. Brinksma and K. G. Larsen editors CAV volume 2404 of Lecture Notes in Computer Science pages 359--364. Springer 2002.","DOI":"10.1007\/3-540-45657-0_29"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70742"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142584"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.034"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526785"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_50"},{"key":"e_1_3_2_1_13_1","unstructured":"}}\n      M.\n      Han\n     and \n      C.\n      Hofmeister\n  . \n  Relating navigation and request routing models in web applications\n  . In G. Engels B. Opdyke D. C. Schmidt and F. Weil editors MoDELS volume \n  4735\n   of \n  Lecture Notes in Computer Science pages \n  346\n  --\n  359\n  . \n  Springer 2007\n  .   }}M. Han and C. Hofmeister. Relating navigation and request routing models in web applications. In G. Engels B. Opdyke D. C. Schmidt and F. Weil editors MoDELS volume 4735 of Lecture Notes in Computer Science pages 346--359. Springer 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025259"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.69"},{"key":"e_1_3_2_1_16_1","first-page":"255","volume-title":"Modeling Web Interactions and Errors","author":"Krishnamurthi S.","year":"2006","unstructured":"}} S. Krishnamurthi , R. B. Findler , P. Graunke , and M. Felleisen . Modeling Web Interactions and Errors , pages 255 -- 275 . Springer , 2006 . }}S. Krishnamurthi, R. B. Findler, P. Graunke, and M. Felleisen. Modeling Web Interactions and Errors, pages 255--275. Springer, 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025266"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.30"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531371_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/267954.267955"},{"issue":"1","key":"e_1_3_2_1_21_1","first-page":"66","article-title":"Web automata: A behavioral model of web applications based on the MVC model","volume":"1","author":"Yuen S.","year":"2006","unstructured":"}} S. Yuen , K. Kato , D. Kato , and K. Agusa . Web automata: A behavioral model of web applications based on the MVC model . Information and Media Technologies , 1 ( 1 ): 66 -- 79 , 2006 . }}S. Yuen, K. Kato, D. Kato, and K. Agusa. Web automata: A behavioral model of web applications based on the MVC model. Information and Media Technologies, 1(1):66--79, 2006.","journal-title":"Information and Media Technologies"}],"event":{"name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","location":"Antwerp Belgium","acronym":"ASE10","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the IEEE\/ACM international conference on Automated software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859044","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1858996.1859044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:27Z","timestamp":1750248507000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":21,"alternative-id":["10.1145\/1858996.1859044","10.1145\/1858996"],"URL":"https:\/\/doi.org\/10.1145\/1858996.1859044","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}