Type-Based Static and Dynamic Website Verification

Coelho, Jorge; Florido, Mário

doi:10.1109/iciw.2007.67

Cited by 11 publications

(4 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Coelho et al [9,10,11] use an extension of Prolog called XCentric to check and repair the syntactic and semantic properties for the content of XML-based Web sites. The XML Web document is translated into a temporary document that is composed of logical terms that correspond to the XML tags in the original document.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Rewriting-based repairing strategies for XML repositories

Alpuente

Ballis

Falaschi³

et al. 2013

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

Keeping XML data in a consistent state w.r.t. both structure and content is a burdensome task. To maintain the consistency of ever-larger, complex XML repositories, suitable mechanisms that are able to fix every possible inconsistency are needed. In this article, we present a methodology for semi-automatically repairing faulty XML repositories that can be integrated on top of an existing rewriting-based verification engine. As a formal basis for representing consistency criteria, we use a rule-based description formalism that is realized in the language Maude. Then, starting from a categorization of the kinds of errors that can be found during the verification process, we formulate a stepwise transformation procedure that achieves correctness and completeness of the XML repository w.r.t. its Maude formal specification while strictly observing the structure of the XML documents. With the aim of increasing the level of automation of our repair methodology, we also define two correction strategies and two completion strategies that reduce either the amount of information to be changed or the number of repair actions to be executed in order to deliver an XML repository that is both correct and complete. Finally, we describe a prototype implementation of the repairing tool, which we use for an experimental evaluation of our method with good results.

show abstract

Section: Introductionmentioning

confidence: 99%

“…The main application of this tool is to verify the content of collaborative Web sites such as Wikipedia [9]. The framework was first implemented in [10] and then improved in [9,11].…”

Section: Introductionmentioning

confidence: 99%

Rewriting-based repairing strategies for XML repositories

Alpuente

Ballis

Falaschi³

et al. 2013

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

show abstract

“…Different methods using partial rewriting based specification language for both syntactic and semantic checking were developed [2] [3] for the static applications. Researchers focus on the content of web sites by correcting and reforming the syntax and semantic [4] [5]. In this study, UML diagrams have been used for content testing of web application.…”

Section: Literature Reviewmentioning

confidence: 99%

Dual Security Testing Model for Web Applications

Garima¹,

Kaushik²

2016

ijacsa

View full text Add to dashboard Cite

Abstract-In recent years, web applications have evolved from small websites into large multi-tiered applications. The quality of web applications depends on the richness of contents, well structured navigation and most importantly its security. Web application testing is a new field of research so as to ensure the consistency and quality of web applications. In the last ten years there have been different approaches. Models have been developed for testing web applications but only a few focused on content testing, a few on navigation testing and a very few on security testing of web applications. There is a need to test content, navigation and security of an application in one go. The objective of this paper is to propose Dual Security Testing Model to test the security of web applications using UML modeling technique which includes web socket interface. In this research paper we have described how our security testing model is implemented using activity diagram, activity graph and based on this how test cases are generated.

show abstract

“…[CF07] proposes a framework for Web site verification which can be used at both compiletime and run-time, and is based on type verification of the rules that can be applied to the considered Web document. The base language is XCentric [CF04], which is a logic programming language.…”

Section: Related Workmentioning

confidence: 99%

Rewriting-based Verification and Debugging of Web Systems

Romero

Daniel²

View full text Add to dashboard Cite

Siempre ten presente que la piel se arruga, el pelo se vuelve blanco, los días se convierten en años..... Pero lo importante no cambia, tu fuerza y tu convicción no tienen edad. Tu espíritu es el plumero de cualquier telaraña.Detrás de cada día de llegada, hay una partida. Detrás de cada logro, hay otro desafío. Mientras estés vivo, siéntete vivo.Si extrañas lo que hacías, vuelve hacerlo. No vivas de fotos amarillas. Sigue aunque todos esperen que abandones. No dejes que se oxide el hierro que hay en tí. Haz que en vez de lástima, te tengan respeto.Cuando por los años no puedas correr, trota. Cuando no puedas trotar, camina. Cuando no puedas caminar, usa el bastón. Pero nunca te detengas. Madre Teresa de CalcutaAlways keep in mind that your skin will wrinkle and that your hair will go white and that your days will become years... But the most important thing never changes, your strength of will and your convictions don't have an age limit.Your spirit is like a feather duster to wipe away the cobwebs.After every arrival there is a leaving. After every accomplishment there is another challenge.While you are alive, feel and know that you are alive.When you are feeling sorry for yourself about what you used to be able to do, do something new. Don't live surrounded by the yellowed photos of yesterday. Continue forward, even though you feel abandoned by others. Don't let rust take away the steel that is in you. Behave in a way that others respect you, not pity you.When, due to your years, you cannot run, trot.When you can no longer trot, walk. When you can no longer walk, grab a cane and keep on going.Never stop yourself. However, the people with whom I have worked on this thesis deserve a dedication, because I am sure that without their help, patience, corrections, emails, long hours, etc..., this work could not have been completed. This thesis produced more friends than papers!!! I do not believe that it is possible to reach an agreement about this and be fair to everyone.The truth is that the process of creating this thesis is like a long road which began in Rio Cuarto as an abstract idea between two friends, and then took shape to reach the corridors of the DSIC. This pilgrimage was made with old and new friends, each of whom contributed a little of their time towards organizing all my time. They do not need to see their names written here. They know that are part of the road I followed, and how much I owe to them. If you have read this far, then you are sure to be one of them. If you stopped in the middle, it is because our paths did not cross, but no matter, you never know. Daniel Valencia, July 2011 AbstractThe increasing complexity of Web system has led to the development of sophisticated formal methodologies for verifying and correcting Web data and Web programs. In general, establishing whether a Web system behaves correctly with respect to the original intention of the programmer or checking its internal consistency are non-trivial tasks as witnessed by many studies in the literature.In this dissertation, w...

show abstract

Type-Based Static and Dynamic Website Verification

Cited by 11 publications

References 14 publications

Rewriting-based repairing strategies for XML repositories

Rewriting-based repairing strategies for XML repositories

Dual Security Testing Model for Web Applications

Rewriting-based Verification and Debugging of Web Systems

Contact Info

Product

Resources

About