-
...modeling, verification and testing of web applications using model checker...
-
...this paper proposes a new model checking-based test generation approach for web applications. the kripke structure is reconstructed...presented can help to generate test sequences automatically for web application and it is a significance complement to the model checking test generation....
-
...the authors describe the use of bounded model checking (bmc) for verifying web application code. vulnerable sections of code are patched automatically with...they provide counterexamples, more precise models, and sound and complete verification. compared to conventional model checking techniques, bmc offers a...
-
...success can be achieved with web applications. in this paper, we describe a sound and holistic approach to ensuring web application security. viewing web application vulnerabilities as a secure information...created a tool named.webssari (web application security by static analysis and runtime inspection) to test our algorithm, and used it to verify 230 open...
-
...discuss how to apply software testing and verification algorithms to web applications and improve their security
attributes. two of the most common web application vulnerabilities that are known to...then present two tools, waves (web application
vulnerability and error scanner) and web-ssari (web application security via static analysis and runtime inspection), which
respectively utilize...
-
...check or improve the quality of software. verification and testing of web software requires effective modeling techniques that address the specific challenges of web applications. in this study we survey 24 different modeling methods used in website verification and testing. based on a short catalogue of desirable properties of web applications that require analysis, two different...
-
...the specified consistency criteria. then model checking can be performed on the implementation model to verify these generated properties. a simple web application example is used to illustrate our approach through...build the properties in ctl and delegates the task of property verification to the existing model checker smv where the implementation model is typed in manually....
-
...recorded browsing session. the obtained model could then be used to verify properties with a model checker, as well as for regression testing and documentation. unlike previous attempts, our approach is oriented towards complex multi-window/frame applications. we present an implementation of the approach that uses the model checker spin and provide an example....
-
...software quality in the presence of multiple software development methodologies such as agile and waterfall models is a challenging task. web applications are released to customers in...present a tool framework called web applications validation environment (weave) for checking functional behavior such as business logic and security of web applications. we have used weave for finding defects in...
-
...ucon
a
usage control authorization model supports concurrency and the model left issue of synchronizing usage control processes
to the implementation. manual verification of application specific concurrent usage control implementation...paper, we show the usage of a formal verification tool, the spin model checker, for verifying the correctness of the
concurrent usage control implementation...
Published in 2010.