Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
The enforcement of navigation constraints in web applications is challenging and error
prone due to the unrestricted use of navigation functions in web browsers. This often leads …
prone due to the unrestricted use of navigation functions in web browsers. This often leads …
Bounded verification of Ruby on Rails data models
J Nijjar, T Bultan - Proceedings of the 2011 International Symposium on …, 2011 - dl.acm.org
The use of scripting languages to build web applications has increased programmer
productivity, but at the cost of degrading dependability. In this paper we focus on a class of …
productivity, but at the cost of degrading dependability. In this paper we focus on a class of …
Laparoscopic virtual mirror for understanding vessel structure evaluation study by twelve surgeons
C Bichlmeier, SM Heining, M Rustaee… - 2007 6th IEEE and …, 2007 - ieeexplore.ieee.org
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a
medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical partner …
medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical partner …
Method and system to extract a navigation model for analysis of a web application
O Tkachuk, SP Rajan - US Patent 8,402,319, 2013 - Google Patents
In one embodiment, a method includes automated extraction of the Page Transition Graph
(PTG) model for model-based analysis of web applications. Specifically, the method …
(PTG) model for model-based analysis of web applications. Specifically, the method …
Inductive verification of data model invariants for web applications
Modern software applications store their data in remote cloud servers. Users interact with
these applications using web browsers or thin clients running on mobile devices. A key …
these applications using web browsers or thin clients running on mobile devices. A key …
Scalesem: model checking et web sémantique
M Gueffaz - 2012 - theses.hal.science
Le développement croissant des réseaux et en particulier l'Internet a considérablement
développé l'écart entre les systèmes d'information hétérogènes. En faisant une analyse sur …
développé l'écart entre les systèmes d'information hétérogènes. En faisant une analyse sur …
Exhaustive exploration of ajax web applications with selective jumping
S Hallé, G Le Breton, F Maronnaud… - 2014 IEEE Seventh …, 2014 - ieeexplore.ieee.org
Exploring modern web applications is a difficult task with the presence of client-side
JavaScript code, as a crawler cannot jump or backtrack arbitrarily inside applications that …
JavaScript code, as a crawler cannot jump or backtrack arbitrarily inside applications that …
Data model property inference, verification, and repair for web applications
Most software systems nowadays are Web-based applications that are deployed over
compute clouds using a three-tier architecture, where the persistent data for the application …
compute clouds using a three-tier architecture, where the persistent data for the application …
Modeling user interactions for (fun and) profit: preventing request forgery attacks on web applications
K Jayaraman, PG Talaga, G Lewandowski… - Proceedings of the 16th …, 2009 - dl.acm.org
The goal of a web-request forgery attacker is to manipulate the intended workflow of a web
application. Applications that fail to enforce the designer-intended interactions are …
application. Applications that fail to enforce the designer-intended interactions are …
A reference framework for the automated exploration of web applications
G Le Breton, N Bergeron, S Hallé - 2014 19th International …, 2014 - ieeexplore.ieee.org
Web crawling is the process of exhaustively exploring the contents of a web site or
application through automated means. While the results of such a crawling can be put …
application through automated means. While the results of such a crawling can be put …