Acknowledgement
Supported by : 한국연구재단
References
- K.-G. Doh, H. Kim, and D. A. Schmidt, "Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology," Proc. Static Analysis Symposium, pp. 256-272. Springer LNCS 5673, 2009.
- K.-G. Doh, H. Kim, and D. A. Schmidt, "Abstract LR-parsing," Proc. Festschrift in Honor of Carolyn Talcott, pp. 90-109, Springer LNCS 7000, 2011.
- H. Kim, K.-G. Doh, and D. A. Schmidt, "Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing," Proc. Static Analysis Symposium, pp. 194-214, Springer LNCS 7935, 2013.
- T. J. Park, J. J. Cho, and H. S. Kim, Let's Start: Web Accessibility Project, Wikibook, 2013.
- A. S. Christensen, A. Moller, and M. I. Schwartzbach, "Precise analysis of string expressions," Proc. of the International Static Analysis Symposium, Vol. 2694 of Lecture Notes in Computer Science, pp. 1-18, Springer-Verlag, Jun. 2003.
- Mehryar Mohri and Mark-Jan Nederhof, Robustness in Language and Speech Technology, chapter 9: Regular Approximation of Context-Free Grammars through Transformation, Kluwer Academic Publishers, 2001.
- T.-H. Choi, O. Lee, H. Kim, and K.-G. Doh, "A practical string analyzer by the widening approach," Proc. Asian Symp. Prog. Lang. and Systems, pp. 374-388, Springer LNCS 4279, 2006.
- Y. Minamide, "Static approximation of dynamically generated web pages," Proc. of 14th ACM Int'l Conf. on the World Wide Web, pp. 432-441, 2005.
- C. Kirkegaard and A. Moller, "Static analysis for Java Servlets and JSP," Proc. International Symp. Static Analysis, pp. 336-352. Springer LNCS 4134, 2006.
- T. Nishiyama and Y. Minamide, "A translation from the HTML DTD into a regular hedge grammar," Proc. 13th Int. Conf. on Implementation and Applications of Automata, pp. 122-131, Springer LNCS 5148, 2008.
- A. Moller and M. Schwarz, "HTML validation of context-free languages," 14th Int. Conf. on Foundations of Software Science and Computation Structures, pp. 426-440. Springer LNCS 6604, 2011.
- Korea Communications Commission, Korean Web Content Accessibility Guidelines 2.0 (KICS.OT-10.0003/R1), Dec 31, 2010.