A semi-automatic methodology for repairing faulty web sites

Proceedings - 4th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006

Volumn , Issue , 2006, Pages 31-40

  Alpuente, María ^a   Ballis, Demis ^b   Falaschi, Moreno ^c   Romero, Daniel ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF UDINE   (Italy)

^c UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EFFECTIVE MECHANISMS; EXPERIMENTAL EVALUATION; FORMAL SPECIFICATION; NOVEL METHODOLOGY; PROTOTYPE IMPLEMENTATIONS; SEMI-AUTOMATICS; VERIFICATION ACTIVITIES; VERIFICATION TECHNIQUES;

COMPUTER SOFTWARE MAINTENANCE; REPAIR;

FORMAL METHODS;

EID: 62849123960     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2006.6     Document Type: Conference Paper

References (19)

1. M. Alpuente, D. Ballis, and M. Falaschi. Automated Verification of Web Sites Using Partial Rewriting. Software Tools for Technology Transfer, 2006. Accepted for publication. To appear.
2. M. Alpuente, D. Ballis, and M. Falaschi. A Rewriting-based Framework for Web Sites Verification. ENTCS, 124(1), 2005.
3. K. Apt. Principles of Constraint Programming. Cambridge University Press, 2003.
4. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
5. L. Bertossi and J. Pinto. Specifying Active Rules for Database Maintenance. In Proc. of FMLDO '99, LNCS 1773, pp. 112-129. Springer, 1999.
6. M. Bezem. TeReSe, Term Rewriting Systems, chapter Mathematical background (Appendix A). Cambridge University Press, 2003.
7. L. Capra, W. Emmerich, A. Finkelstein, and C. Nentwich. XLINKIT: a Consistency Checking and Smart Link Generation Service. ACM TOIT, 2(2):151-185, 2002.
8. N. Dershowitz and D. Plaisted. Rewriting. Handbook of Automated Reasoning, 1:535-610, 2001.
9. Imagiware. Doctor HTML. Available at: http://www.doctor-html.com/.
10. J. Klop. Term Rewriting Systems. In Handbook of Logic in Computer Science, vol. I, pp. 1-112. Oxford University Press, 1992.
11. M. Leuschel. Homeomorphic Embedding for Online Termination of Symbolic Methods. In The Essence of Computation, LNCS 2566, pp. 379-403. Springer, 2002. (Pubitemid 36185943)
12. E. Mayol and E. Teniente. A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In Proc. of ER '99, LNCS 1727, pp. 62-73. Springer, 1999.
13. C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency Management with Repair Actions. In Proc. of ICSE '03. IEEE Computer Society, 2003.
14. S. Nesbit. HTML Tidy: Keeping it clean, 2000. Available at http://tidy.sourceforge.net.
15. J. Scheffczyk, U. M. B. P. Rödig, and L. Schmitz. S-dags: Towards efficient document repair generation. In Proc. of CCCT '04, vol. 2, pp. 308-313, 2004.
16. J. Scheffczyk, U. M. Borghoff, P. Rödig, and L. Schmitz. Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories. In Proc. of DocEng '03, pp. 140-149. ACM Press, 2003.
17. J. Scheffczyk, P. Rödig, U. M. Borghoff, and L. Schmitz. Managing inconsistent repositories via prioritized repairs. In Proc. of DocEng '04, pp. 137-146. ACM Press, 2004. (Pubitemid 40788569)
18. WWW Consortium (W3C). Extensible Markup Language (XML) 1.0, second edition, 1999.
19. WWW Consortium (W3C). Extensible HyperText Markup Language (XHTML), 2000.